Author:
Larsen Kim G.,Mardare Radu,Xue Bingtian
Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Reactive Systems: modelling, specification and verification;Aceto,2007
2. Model-checking for real-time systems;Alur,1990
3. Model-checking in dense real-time;Alur;Inf. Comput.,1993
4. Automata for modeling real-time systems;Alur,1990
5. R. Alur, S. La Torre, G.J. Pappas, Optimal paths in weighted timed automata, in: Benedetto and Sangiovanni-Vincentelli [7], pp. 49–62.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weighted Linear Dynamic Logic;International Journal of Foundations of Computer Science;2023-11-16
2. Axiomatizations and Computability of Weighted Monadic Second-Order Logic;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Synthesis for Multi-weighted Games with Branching-Time Winning Conditions;Application and Theory of Petri Nets and Concurrency;2020
4. Model checking and synthesis for branching multi-weighted logics;Journal of Logical and Algebraic Methods in Programming;2019-06
5. REASONING ABOUT BOUNDS IN WEIGHTED TRANSITION SYSTEMS;LOG METH COMPUT SCI;2018