Author:
Fahrenberg Uli,Legay Axel
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference25 articles.
1. Bloom, S. L.: Ésik, Z.: Iteration theories: the equational logic of iterative processes. EATCS Monographs on Theoretical Computer Science. Springer (1993)
2. Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N.: Timed automata with observers under energy constraints. In: Johansson, K.H., Wang, Y. (eds.) HSCC, pp. 61–70. ACM (2010)
3. Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N., Srba, J.: Infinite runs in weighted timed automata with energy constraints. In: Cassez, F., Claude, J. (eds.) Formats, volume 5215 of LNCS, pp. 33–47. Springer (2008)
4. Bouyer, P., Larsen, K.G., Markey, N.: Lower-bound constrained runs in weighted timed automata. In: QEST, pp. 128–137. IEEE Computer Society (2012)
5. Chatterjee, K., Doyen, L.: Energy parity games. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP (2), volume 6199 of LNCS, pp. 599–610. Springer (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings;28th ACM International Systems and Software Product Line Conference;2024-09-02
2. Featured games;Science of Computer Programming;2022-11
3. Featured Games;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08