Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Peter Bezděk"'
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 99:114-142
The parameter synthesis problem for timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which the parameter synthesis problem is decidable for Cl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e844479ccb2781ab150827d3643b7a9
https://doi.org/10.1016/j.jlamp.2018.05.004
https://doi.org/10.1016/j.jlamp.2018.05.004
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319415901
SEFM
SEFM
The parameter synthesis problem for parametric timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which the parameter synthesis problem is decid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e41a51e7a80ec9905becdf82d4d07f66
https://doi.org/10.1007/978-3-319-41591-8_12
https://doi.org/10.1007/978-3-319-41591-8_12
