Control synthesis for parametric timed automata under reachability

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ebru AYDIN GOL

Journal title: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES

Journal publisher: Tubitak

Published year: 2021

Published pages: 1751-1764

DOI identifier: 10.3906/elk-2007-170

ISSN: 1303-6203