Synthia: Verification and Synthesis for Timed Automata
暂无分享,去创建一个
Rüdiger Ehlers | Robert Mattmüller | Hans-Jörg Peter | Robert Mattmüller | Rüdiger Ehlers | H. Peter
[1] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[2] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[3] Wang Yi,et al. Developing UPPAAL over 15 years , 2011, Softw. Pract. Exp..
[4] Rüdiger Ehlers,et al. Combining Symbolic Representations for Solving Timed Games , 2010, FORMATS.
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] Jirí Srba,et al. Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.
[7] Kim G. Larsen,et al. UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.