Search results for "LTL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001	CTL* synthesis via LTL synthesis.	SYNT@CAV	2017	DBLP DOI BibTeX RDF
15	Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert	From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.	CoRR	2017	DBLP BibTeX RDF
15	Shufang Zhu 0001, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi	A Symbolic Approach to Safety LTL Synthesis.	CoRR	2017	DBLP BibTeX RDF
15	Martin Sulzmann, Peter Thiemann 0001	LTL Semantic Tableaux and Alternating ω-automata via Linear Factors.	CoRR	2017	DBLP BibTeX RDF
15	Pierre-Jean Meyer, Dimos V. Dimarogonas	Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems.	CoRR	2017	DBLP BibTeX RDF
15	Shuanglong Kan, Zhiqiu Huang, Zhe Chen 0011, Weiwei Li, Yutao Huang	Partial order reduction for checking LTL formulae with the next-time operator.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
15	Min Zhang 0002, Yunhui Ying	Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems.	LCTES	2017	DBLP DOI BibTeX RDF
15	Kim G. Larsen, Doron Peled, Sean Sedwards	Memory-Efficient Tactics for Randomized LTL Model Checking.	VSTTE	2017	DBLP DOI BibTeX RDF
15	Matthias Baaz, Norbert Preining	Gödel logics and the fully boxed fragment of LTL.	LPAR	2017	DBLP DOI BibTeX RDF
15	Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	A One-Pass Tree-Shaped Tableau for LTL+Past.	LPAR	2017	DBLP DOI BibTeX RDF
15	Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas	Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints.	ICRA	2017	DBLP DOI BibTeX RDF
15	Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister	Runtime verification of LTL on lossy traces.	SAC	2017	DBLP DOI BibTeX RDF
15	Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi	LeeTL: LTL with quantifications over model objects.	SPIN	2017	DBLP DOI BibTeX RDF
15	Haitao Cheng, Zongmin Ma 0001	f- ALC (D)-LTL: A Fuzzy Spatio-Temporal Description Logic.	KSEM	2017	DBLP DOI BibTeX RDF
15	Tam Thi Thanh Nguyen, Kazuhiro Ogata 0001	A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker.	SATE	2017	DBLP DOI BibTeX RDF
15	Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith	Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.	AAAI	2017	DBLP DOI BibTeX RDF
15	Dileep Kini, Mahesh Viswanathan 0001	Optimal Translation of LTL to Limit Deterministic Automata.	TACAS (2)	2017	DBLP DOI BibTeX RDF
15	Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert	From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.	TACAS (1)	2017	DBLP DOI BibTeX RDF
15	Shufang Zhu 0001, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi	A Symbolic Approach to Safety ltl Synthesis.	Haifa Verification Conference	2017	DBLP DOI BibTeX RDF
15	Benedikt Bollig, Karin Quaas, Arnaud Sangnier	The Complexity of Flat Freeze LTL.	CONCUR	2017	DBLP DOI BibTeX RDF
15	Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis	SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.	NFM	2017	DBLP DOI BibTeX RDF
15	Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov	Bringing LTL Model Checking to Biologists.	VMCAI	2017	DBLP DOI BibTeX RDF
15	Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith	Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.	SOCS	2017	DBLP DOI BibTeX RDF
15	Dileep Kini, Mahesh Viswanathan 0001	Complexity of Model Checking MDPs against LTL Specifications.	FSTTCS	2017	DBLP DOI BibTeX RDF
15	Ming Chai, Bernd-Holger Schlingloff	System Monitoring with a Five-valued LTL.	J. Multiple Valued Log. Soft Comput.	2016	DBLP BibTeX RDF
15	Viktor Schuppan	Extracting unsatisfiable cores for LTL via temporal resolution.	Acta Informatica	2016	DBLP DOI BibTeX RDF
15	Javier Esparza, Jan Kretínský, Salomon Sickert	From LTL to deterministic automata - A safraless compositional approach.	Formal Methods Syst. Des.	2016	DBLP DOI BibTeX RDF
15	Andreas Bauer 0002, Yliès Falcone	Decentralised LTL monitoring.	Formal Methods Syst. Des.	2016	DBLP DOI BibTeX RDF
15	Christian Colombo 0001, Yliès Falcone	Organising LTL monitors over distributed systems with a global clock.	Formal Methods Syst. Des.	2016	DBLP DOI BibTeX RDF
15	Jana Tumova, Dimos V. Dimarogonas	Multi-agent planning under local LTL specifications and event-based synchronization.	Autom.	2016	DBLP DOI BibTeX RDF
15	Viktor Schuppan	Enhancing unsatisfiable cores for LTL with information on temporal relevance.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	E. V. Kuzmin 0001, D. A. Ryabukhin, Valery A. Sokolov	On the expressiveness of the approach to constructing PLC-programs by LTL-specification.	Autom. Control. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Elaheh Ghassabani, Mohammad Abdollahi Azgomi	A New Approach to Stateless Model Checking of LTL Properties.	CoRR	2016	DBLP BibTeX RDF
15	Leander Tentrup, Alexander Weinert, Martin Zimmermann 0002	Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time	GandALF	2016	DBLP DOI BibTeX RDF
15	Swen Jacobs, Felix Klein 0001	A High-Level LTL Synthesis Format: TLSF v1.0.	CoRR	2016	DBLP BibTeX RDF
15	Mark Reynolds 0001	A traditional tree-style tableau for LTL.	CoRR	2016	DBLP BibTeX RDF
15	Swen Jacobs, Leander Tentrup, Martin Zimmermann 0002	Distributed PROMPT-LTL Synthesis.	GandALF	2016	DBLP DOI BibTeX RDF
15	Jana Tumova, Dimos V. Dimarogonas	Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications.	CoRR	2016	DBLP BibTeX RDF
15	Jana Tumova, Dimos V. Dimarogonas	Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization.	CoRR	2016	DBLP BibTeX RDF
15		Finite LTL Synthesis is EXPTIME-complete.	CoRR	2016	DBLP BibTeX RDF
15	Swen Jacobs, Felix Klein 0001, Sebastian Schirmer	A High-Level LTL Synthesis Format: TLSF v1.1.	SYNT@CAV	2016	DBLP DOI BibTeX RDF
15	Yong Li 0031, Lei Song, Yuan Feng 0001, Lijun Zhang 0001	Verify LTL with Fairness Assumptions Efficiently.	CoRR	2016	DBLP BibTeX RDF
15	Fu Song, Tayssir Touili	LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks.	CoRR	2016	DBLP BibTeX RDF
15	Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001	Model Checking Flat Freeze LTL on One-Counter Automata.	CoRR	2016	DBLP BibTeX RDF
15	Mark Reynolds 0001	A New Rule for LTL Tableaux.	GandALF	2016	DBLP DOI BibTeX RDF
15	Manuel Mazzara	LTL-based Verification of Reconfigurable Workflows.	CoRR	2016	DBLP BibTeX RDF
15	Vince Molnár, András Vörös 0001, Dániel Darvas, Tamás Bartha, István Majzik	Component-wise incremental LTL model checking.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
15	Michael Wojatzki, Torsten Zesch	ltl.uni-due at SemEval-2016 Task 6: Stance Detection in Social Media Using Stacked Classifiers.	SemEval@NAACL-HLT	2016	DBLP DOI BibTeX RDF
15	Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001	How bit-vector logic can help improve the verification of LTL specifications over infinite domains.	SAC	2016	DBLP DOI BibTeX RDF
15	Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga	Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS.	SAC	2016	DBLP DOI BibTeX RDF
15	Shahar Maoz, Jan Oliver Ringert	GR(1) synthesis for LTL specification patterns.	Software Engineering	2016	DBLP BibTeX RDF
15	Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol	RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
15	Raphaël Khoury, Sylvain Hallé, Omar Waldmann	Execution Trace Analysis Using LTL-FO ^+.	ISoLA (2)	2016	DBLP DOI BibTeX RDF
15	Yiannis Kantaros, Michael M. Zavlanos	A distributed LTL-based approach for intermittent communication in mobile robot networks.	ACC	2016	DBLP DOI BibTeX RDF
15	Salomon Sickert, Jan Kretínský	MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata.	ATVA	2016	DBLP DOI BibTeX RDF
15	Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu	Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.	ATVA	2016	DBLP DOI BibTeX RDF
15	Normann Decker, Daniel Thoma	On Freeze LTL with Ordered Attributes.	FoSSaCS	2016	DBLP DOI BibTeX RDF
15	John Irvin Alora, Alex A. Gorodetsky, Sertac Karaman, Youssef M. Marzouk, Nathan Lowry	Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions.	CDC	2016	DBLP DOI BibTeX RDF
15	Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi	Accelerated Runtime Verification of LTL Specifications with Counting Semantics.	RV	2016	DBLP DOI BibTeX RDF
15	Ingo Pill, Franz Wotawa	An Automated (F) LTL Test Oracle for Testing with Requirements.	ISSRE Workshops	2016	DBLP DOI BibTeX RDF
15	Valeria Fionda, Gianluigi Greco	The Complexity of LTL on Finite Traces: Hard and Easy Fragments.	AAAI	2016	DBLP DOI BibTeX RDF
15	Marius Kloetzer, Cristian Mahulea	Multi-robot path planning for syntactically co-safe LTL specifications.	WODES	2016	DBLP DOI BibTeX RDF
15	Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas	Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning.	DARS	2016	DBLP DOI BibTeX RDF
15	Vladimír Still, Petr Rockai, Jiri Barnat	DIVINE: Explicit-State LTL Model Checker - (Competition Contribution).	TACAS	2016	DBLP DOI BibTeX RDF
15	Vincent Bloemen, Jaco van de Pol	Multi-core SCC-Based LTL Model Checking.	Haifa Verification Conference	2016	DBLP DOI BibTeX RDF
15	Yong Li 0031, Lei Song, Yuan Feng 0001, Lijun Zhang 0001	Verify LTL with Fairness Assumptions Efficiently.	TIME	2016	DBLP DOI BibTeX RDF
15	Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001	Model Checking Flat Freeze LTL on One-Counter Automata.	CONCUR	2016	DBLP DOI BibTeX RDF
15	Julian Brunner 0001, Peter Lammich	Formal Verification of an Executable LTL Model Checker with Partial Order Reduction.	NFM	2016	DBLP DOI BibTeX RDF
15	Tobias Horsmann, Torsten Zesch	LTL-UDE $@$ EmpiriST 2015: Tokenization and PoS Tagging of Social Media Text.	WAC@ACL	2016	DBLP DOI BibTeX RDF
15	Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001	Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.	IJCAI	2016	DBLP BibTeX RDF
15	Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith	Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).	KnowProS@IJCAI	2016	DBLP BibTeX RDF
15	Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná	LTL Parameter Synthesis of Parametric Timed Automata.	SEFM	2016	DBLP DOI BibTeX RDF
15	Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge	LTL Model Checking under Fairness in ProB.	SEFM	2016	DBLP DOI BibTeX RDF
15	Sylvain Hallé, Maxime Soucy-Boivin	MapReduce for parallel trace validation of LTL properties.	J. Cloud Comput.	2015	DBLP DOI BibTeX RDF
15	Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn	Monitoring Bounded LTL Properties Using Interval Analysis.	NSV	2015	DBLP DOI BibTeX RDF
15	Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002	Model checking LTL properties over ANSI-C programs with bounded traces.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
15	Norihiro Kamide	Embedding theorems for LTL and its variants.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Cheng-Chang Lin, Shwu-Chiou Lee	Zone pricing for time-definite LTL freight transportation with elastic demand.	Comput. Oper. Res.	2015	DBLP DOI BibTeX RDF
15	Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini	Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa.	Tech. Sci. Informatiques	2015	DBLP DOI BibTeX RDF
15	E. V. Kuzmin 0001, Valery A. Sokolov, D. A. Ryabukhin	Construction and verification of PLC-programs by LTL-specification.	Autom. Control. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Maximilien Colange, Dimitri Racordon, Didier Buchs	A CEGAR-like Approach for Cost LTL Bounds.	CoRR	2015	DBLP BibTeX RDF
15	Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn	Monitoring Bounded LTL Properties Using Interval Analysis.	CoRR	2015	DBLP BibTeX RDF
15	Alexander Kartzow, Thomas Weidner	Model Checking Constraint LTL over Trees.	CoRR	2015	DBLP BibTeX RDF
15	Vojtech Forejt, Jan Krcál, Jan Kretínský	Controller synthesis for MDPs and Frequency LTL$\setminus$GU.	CoRR	2015	DBLP BibTeX RDF
15	Martin Zimmermann 0002	Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.	GandALF	2015	DBLP DOI BibTeX RDF
15	Martin Lück, Arne Meier	LTL Fragments are Hard for Standard Parameterisations.	CoRR	2015	DBLP BibTeX RDF
15	Martin Zimmermann 0002	Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version).	CoRR	2015	DBLP BibTeX RDF
15	Vojtech Forejt, Jan Krcál	On Frequency LTL in Probabilistic Systems.	CoRR	2015	DBLP BibTeX RDF
15	Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi	SAT-based Explicit LTL Reasoning.	CoRR	2015	DBLP BibTeX RDF
15	Normann Decker, Daniel Thoma	On Freeze LTL with Ordered Attributes.	CoRR	2015	DBLP BibTeX RDF
15	Martin Suda 0001	Variable and Clause Elimination for LTL Satisfiability Checking.	Math. Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Norihiro Kamide	Interpolation theorems for some variants of LTL.	Reports Math. Log.	2015	DBLP BibTeX RDF
15	Lai-Xiang Shan, Xiaomin Du, Zheng Qin	Efficient approach of translating LTL formulae into Büchi automata.	Frontiers Comput. Sci.	2015	DBLP DOI BibTeX RDF
15	Meng Guo 0002, Dimos V. Dimarogonas	Multi-agent plan reconfiguration under local LTL specifications.	Int. J. Robotics Res.	2015	DBLP DOI BibTeX RDF
15	Marius Kloetzer, Cristian Mahulea	LTL-Based Planning in Environments With Probabilistic Observations.	IEEE Trans Autom. Sci. Eng.	2015	DBLP DOI BibTeX RDF
15	Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier	Taming past LTL and flat counter systems.	Inf. Comput.	2015	DBLP DOI BibTeX RDF
15	Shota Nakagawa, Ichiro Hasuo	Near-Optimal Scheduling for LTL with Future Discounting.	TGC	2015	DBLP DOI BibTeX RDF
15	Vojtech Forejt, Jan Krcál, Jan Kretínský	Controller Synthesis for MDPs and Frequency LTL\GU.	LPAR	2015	DBLP DOI BibTeX RDF
15	Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski	Fairness Modulo Theory: A New Approach to LTL Software Model Checking.	CAV (1)	2015	DBLP DOI BibTeX RDF
15	Okan Örsan Özener	Solving the Integrated Shipment Routing Problem of a LTL Carrier.	CTW	2015	DBLP BibTeX RDF