Back to the Future: A Fresh Look at Linear Temporal Logic

[1]  Jan Kretínský,et al.  Rabinizer: Small Deterministic Automata for LTL(F, G) , 2012, ATVA.

[2]  Christel Baier,et al.  Experiments with deterministic omega-automata for formulas of linear temporal logic , 2006, Theor. Comput. Sci..

[3]  Jan Kretínský,et al.  Rabinizer 2: Small Deterministic Automata for LTL ∖ GU , 2013, ATVA.

[4]  Jan Kretínský,et al.  From LTL to Deterministic Automata: A Safraless Compositional Approach , 2014, CAV.

[5]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[6]  Jan Kretínský,et al.  From LTL to deterministic automata , 2014, Formal Methods Syst. Des..

[7]  Mihalis Yannakakis,et al.  The complexity of probabilistic verification , 1995, JACM.

[8]  Jan Kretínský,et al.  Deterministic Automata for the (F,G)-fragment of LTL , 2012, CAV.

[9]  Jan Kretínský,et al.  MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata , 2016, ATVA.

[10]  Edward Y. Chang,et al.  Characterization of Temporal Property Classes , 1992, ICALP.

[11]  Michael Luttenberger,et al.  Practical synthesis of reactive systems from LTL specifications via parity games , 2019, Acta Informatica.

[12]  Michael Luttenberger,et al.  Strix: Explicit Reactive Synthesis Strikes Back! , 2018, CAV.

[13]  Oded Maler,et al.  On the Krohn-Rhodes Cascaded Decomposition Theorem , 2010, Essays in Memory of Amir Pnueli.

[14]  Pierre Wolper,et al.  Automata theoretic techniques for modal logics of programs: (Extended abstract) , 1984, STOC '84.

[15]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[16]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[17]  Amir Pnueli.  The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..

[18]  Zohar Manna,et al.  Completing the Temporal Picture , 1991, Theor. Comput. Sci..

[19]  Radek Pelánek,et al.  Deeper Connections Between LTL and Alternating Automata , 2005, CIAA.

[20]  Christel Baier,et al.  On-the-Fly Stuttering in the Construction of Deterministic omega -Automata , 2007, CIAA.

[21]  Zohar Manna,et al.  Temporal Verification of Reactive Systems , 1995, Springer New York.

[22]  Amir Pnueli,et al.  On the Synthesis of an Asynchronous Reactive Module , 1989, ICALP.