Peter Bezdek, Nikola Benes, Ivana CernĂ¡, Jiri Barnat. On clock-aware LTL parameter synthesis of timed automata. Journal of Logic and Algebraic Programming, 99:114-142, 2018. [doi]
@article{BezdekBCB18, title = {On clock-aware LTL parameter synthesis of timed automata}, author = {Peter Bezdek and Nikola Benes and Ivana CernĂ¡ and Jiri Barnat}, year = {2018}, doi = {10.1016/j.jlamp.2018.05.004}, url = {https://doi.org/10.1016/j.jlamp.2018.05.004}, researchr = {https://researchr.org/publication/BezdekBCB18}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {99}, pages = {114-142}, }