Dense Real-Time Games
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[2] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[3] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[4] Amir Pnueli,et al. Propositional Dynamic Logic of Nonregular Programs , 1983, J. Comput. Syst. Sci..
[5] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.
[6] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[7] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[8] Aniello Murano,et al. Automata-theoretic decision of timed games , 2002, Theor. Comput. Sci..
[9] Eugene Asarin,et al. As Soon as Possible: Time Optimal Control for Timed Automata , 1999, HSCC.
[10] J. Neumann,et al. Theory of games and economic behavior , 1945, 100 Years of Math Milestones.
[11] Margherita Napoli,et al. Timed tree automata with an application to temporal logic , 2001, Acta Informatica.
[12] R. P. Kurshan,et al. Computer Aided Verification , 1998, Lecture Notes in Computer Science.
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] P. Madhusudan,et al. Timed Control Synthesis for External Specifications , 2002, STACS.
[15] Thomas A. Henzinger,et al. Discrete-Time Control for Rectangular Hybrid Automata , 1997, Theor. Comput. Sci..
[16] Margherita Napoli,et al. A Decidable Dense Branching-Time Temporal Logic , 2000, FSTTCS.
[17] Thomas A. Henzinger,et al. Rectangular Hybrid Games , 1999, CONCUR.
[18] Amir Pnueli,et al. On the Synthesis of an Asynchronous Reactive Module , 1989, ICALP.