Combining Symbolic Representations for Solving Timed Games
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Counterexample-Guided Control , 2003, ICALP.
[2] Claus Lewerentz,et al. Formal Development of Reactive Systems , 1995, Lecture Notes in Computer Science.
[3] Vincent Danos,et al. Transactions in RCCS , 2005, CONCUR.
[4] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[5] Jirí Srba,et al. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.
[6] Wolfgang Thomas,et al. On the Synthesis of Strategies in Infinite Games , 1995, STACS.
[7] S. Tripakis,et al. Tools for Controller Synthesis of Timed Systems , 2002 .
[8] Thomas A. Henzinger,et al. Discrete-Time Control for Rectangular Hybrid Automata , 1997, Theor. Comput. Sci..
[9] Claus Lewerentz,et al. Formal Development of Reactive Systems: Case Study Production Cell , 1995 .
[10] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[11] Johan Bengtsson,et al. Clocks, DBMS and States in Timed Systems , 2002 .
[12] Robert Mattmüller,et al. Component-Based Abstraction Refinement for Timed Controller Synthesis , 2009, 2009 30th IEEE Real-Time Systems Symposium.
[13] Luca de Alfaro,et al. Solving games via three-valued abstraction refinement , 2007, Inf. Comput..
[14] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[15] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[16] Kim G. Larsen,et al. Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation , 2009, FORMATS.
[17] P. R. Stephan,et al. SIS : A System for Sequential Circuit Synthesis , 1992 .
[18] A. Pnueli,et al. CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .
[19] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[20] Jim Alves-Foss,et al. Higher Order Logic Theorem Proving and its Applications 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 : Proceedings , 1995 .
[21] Kim G. Larsen,et al. UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.
[22] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[23] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[24] Kim G. Larsen,et al. On Modal Refinement and Consistency , 2007, CONCUR.
[25] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[26] Bernd Finkbeiner,et al. Slicing abstractions , 2007, FSEN'07.