Concepts of Automata Construction from LTL
暂无分享,去创建一个
[1] Thomas Wilke,et al. State Space Reductions for Alternating Büchi Automata , 2002, FSTTCS.
[2] Dimitra Giannakopoulou,et al. From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata , 2002, FORTE.
[3] Paul Gastin,et al. Fast LTL to Büchi Automata Translation , 2001, CAV.
[4] Pierre Wolper. Temporal Logic Can Be More Expressive , 1983, Inf. Control..
[5] Satoru Miyano,et al. Alternating Finite Automata on omega-Words , 1984, CAAP.
[6] Georg Schnitger,et al. Minimizing NFA's and Regular Expressions , 2005, STACS.
[7] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[8] Allan Clark,et al. Semantic-Based Development of Service-Oriented Systems , 2006, FORTE.
[9] Kousha Etessami,et al. Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata , 2001, ICALP.
[10] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[11] Pierre Wolper,et al. Reasoning About Infinite Computations , 1994, Inf. Comput..
[12] Carsten Fritz,et al. Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata , 2003, CIAA.
[13] Fausto Giunchiglia,et al. Improved Automata Generation for Linear Temporal Logic , 1999, CAV.
[14] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[15] Moshe Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic , 1996, Banff Higher Order Workshop.
[16] Kousha Etessami,et al. Optimizing Büchi Automata , 2000, CONCUR.
[17] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[18] Faron Moller,et al. Logics for Concurrency , 1996, Lecture Notes in Computer Science.
[19] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[20] Borivoj Melichar,et al. Finding Common Motifs with Gaps Using Finite Automata , 2006, CIAA.
[21] Gareth S. Rohde,et al. Alternating automata and the temporal logic of ordinals , 1997 .
[22] Orna Kupferman,et al. Weak alternating automata are not that weak , 1997, Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems.
[23] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[24] Manindra Agrawal,et al. FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science , 2002, Lecture Notes in Computer Science.