Ranking Automata and Games for Prioritized Requirements
暂无分享,去创建一个
[1] Pierre Wolper,et al. Reasoning About Infinite Computations , 1994, Inf. Comput..
[2] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[3] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[4] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[5] Patrice Godefroid,et al. Model Checking with Multi-valued Logics , 2004, ICALP.
[6] Yuri Gurevich,et al. Trees, automata, and games , 1982, STOC '82.
[7] Uri Zwick,et al. The Complexity of Mean Payoff Games on Graphs , 1996, Theor. Comput. Sci..
[8] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[9] Rajeev Alur,et al. Parametric temporal logic for “model measuring” , 2001, TOCL.
[10] Wolfgang Thomas,et al. On the Synthesis of Strategies in Infinite Games , 1995, STACS.
[11] Orna Kupferman,et al. Lattice Automata , 2007, VMCAI.
[12] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[13] Rance Cleaveland,et al. A linear-time model-checking algorithm for the alternation-free modal mu-calculus , 1993, Formal Methods Syst. Des..
[14] J. Richard Büchi. State-Strategies for Games in F G , 1983, J. Symb. Log..
[15] R. I. Bahar,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[16] A. Prasad Sistla,et al. On model checking for the µ-calculus and its fragments , 2001, Theor. Comput. Sci..
[17] Simon L. Peyton Jones,et al. Imperative functional programming , 1993, POPL '93.
[18] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[19] Krishnendu Chatterjee,et al. Linear Time Algorithm for Weak Parity Games , 2008, ArXiv.
[20] Juhan P. Ernits,et al. Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card , 2005, Nord. J. Comput..
[21] Hugo Gimbert,et al. Perfect Information Stochastic Priority Games , 2007, ICALP.
[22] Orna Kupferman,et al. Latticed Simulation Relations and Games , 2010, Int. J. Found. Comput. Sci..