Author:
Vladimerou Vladimeros,Prabhakar Pavithra,Viswanathan Mahesh,Dullerud Geir
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Alternating refinement relations;Alur,1998
2. Optimal paths in weighted timed automata;Alur,2001
3. Symbolic controller synthesis for discrete and timed systems;Asarin,1995
4. Eugene Asarin, Oded Maler, Amir Pnueli, Joseph Sifakis, Controller synthesis for timed automata 1, in: Proc. IFAC Symposium on System Structure and Control, 1998, pp. 469–474.
5. Minimum-cost reachability for priced timed automata;Behrmann,2001
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Differential Hybrid Games;ACM Transactions on Computational Logic;2017-07-31
2. Differential Game Logic;ACM Transactions on Computational Logic;2015-12-10
3. Symbolic models for time-varying time-delay systems via alternating approximate bisimulation;International Journal of Robust and Nonlinear Control;2014-06-27
4. Playing Hybrid Games with KeYmaera;Automated Reasoning;2012