Author:
Kaufmann Isabella,Larsen Kim Guldstrand,Srba Jiří
Publisher
Springer International Publishing
Reference28 articles.
1. Almagor, S., Boker, U., Kupferman, O.: Formally reasoning about quality. J. ACM 24(1–24), 56 (2016)
2. Bauer, S.S., Juhl, L., Larsen, K.G., Srba, J., Legay, A.: A logic for accumulated-weight reasoning on multiweighted modal automata. In: TASE, pp. 77–84 (2012)
3. Lecture Notes in Computer Science;R Bloem,2009
4. Bloem, R., et al.: Synthesizing robust systems. Acta Inform. 51(3–4), 193–220 (2013).
https://doi.org/10.1007/s00236-013-0191-5
5. Boker, U., Chatterjee, K., Henzinger, T.A., Kupferman, O.: Temporal specifications with accumulative values. TOCL 27, 1–27:25 (2014)