The Complexity of Flat Freeze LTL
暂无分享,去创建一个
[1] Christoph Haase,et al. On the complexity of model checking counter automata , 2012 .
[2] Stéphane Demri,et al. LTL with the Freeze Quantifier and Register Automata , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
[3] Pascal Lafourcade,et al. Intruder Deduction for AC-Like Equational Theories with Homomorphisms , 2005, RTA.
[4] Joël Ouaknine,et al. On parametric timed automata and one-counter machines , 2017, Inf. Comput..
[5] Stéphane Demri,et al. When Model-Checking Freeze LTL over Counter Machines Becomes Decidable , 2010, FoSSaCS.
[6] Stéphane Demri,et al. On the Freeze Quantifier in Constraint LTL: Decidability and Complexity , 2005, TIME.
[7] Zvi Galil,et al. Hierarchies of complete problems , 1976, Acta Informatica.
[8] Thomas A. Henzinger,et al. Parametric real-time reasoning , 1993, STOC.
[9] Stéphane Demri,et al. The Effects of Bounding Syntactic Resources on Presburger LTL , 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).
[10] Joël Ouaknine,et al. On Expressiveness and Complexity in Real-Time Model Checking , 2008, ICALP.
[11] Joël Ouaknine,et al. Model Checking Succinct and Parametric One-Counter Automata , 2010, ICALP.
[12] Joseph S. Miller. Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata , 2000, HSCC.
[13] Benedikt Bollig,et al. Distributed Timed Automata with Independently Evolving Clocks , 2014, Fundam. Informaticae.
[14] Markus Lohrey,et al. Branching-Time Model Checking of One-Counter Processes and Timed Automata , 2013, SIAM J. Comput..
[15] Tim French. Quantified propositional temporal logic with repeating states , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[16] Igor Potapov,et al. Temporal logic with predicate /spl lambda/-abstraction , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[17] Thomas Schwentick,et al. Two-variable logic on data words , 2011, TOCL.
[18] Leslie G. Valiant,et al. Deterministic One-Counter Automata , 1975, J. Comput. Syst. Sci..
[19] Markus Lohrey,et al. Path Checking for MTL and TPTL over Data Words , 2015, DLT.
[20] Michal Pilipczuk,et al. Shortest Paths in One-Counter Systems , 2015, FoSSaCS.
[21] Kim G. Larsen,et al. Language Emptiness of Continuous-Time Parametric Timed Automata , 2015, ICALP.
[22] Joël Ouaknine,et al. Branching-Time Model Checking of Parametric One-Counter Automata , 2012, FoSSaCS.
[23] Orna Kupferman,et al. An Automata-Theoretic Approach to Reasoning about Infinite-State Systems , 2000, CAV.
[24] Joël Ouaknine,et al. Reachability in Succinct and Parametric One-Counter Automata , 2009, CONCUR.
[25] Olivier Serre,et al. Parity Games Played on Transition Graphs of One-Counter Processes , 2006, FoSSaCS.
[26] Moshe Y. Vardi. Reasoning about The Past with Two-Way Automata , 1998, ICALP.
[27] Slawomir Lasota,et al. Simulation Problems Over One-Counter Nets , 2016, Log. Methods Comput. Sci..
[28] Véronique Cortier,et al. Flatness Is Not a Weakness , 2000, CSL.