Publisher
Springer International Publishing
Reference24 articles.
1. Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N., Reynier, P.-A.: Optimal and robust controller synthesis using energy timed automata with uncertainty. Form. Asp. Comput. 33(1), 3–25 (2020). https://doi.org/10.1007/s00165-020-00521-4
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Emerson, E.A., Jutla, C.S.: The complexity of tree automata and logics of programs. In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24–26 October 1988, pp. 328–337. IEEE Computer Society (1988)
4. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. WH Freeman and Company, NY (1979)
5. Glück, R.: Bisimulations and model refinement (preprint). http://rolandglueck.de/html/PreprintDiss.pdf