Author:
Henzinger Thomas A.,Otop Jan
Funder
European Research CouncilEuropean Research Council (ERC)
Austrian Science Fund1Austrian Science Fund1 (FWF)
National Science Centre (NCN), PolandNational Science Centre (NCN), Poland
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference51 articles.
1. Enhancing model checking in verification by AI techniques;Buccafurri;Artif. Intell.,1999
2. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
3. From model checking to model measuring;Henzinger,2013
4. Model measuring for hybrid systems;Henzinger,2014
5. Temporal specifications with accumulative values;Boker,2011
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-deterministic weighted automata evaluated over Markov chains;Journal of Computer and System Sciences;2020-03
2. Nested Weighted Automata;ACM Transactions on Computational Logic;2017-12-19