Search results for "LTL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Giuseppe De Giacomo, Antonio Di Stasio 0001, Moshe Y. Vardi, Shufang Zhu 0001	Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.	KR	2020	DBLP DOI BibTeX RDF
15	Rüdiger Ehlers, Ivan Gavran, Daniel Neider	Learning Properties in LTL ∩ ACTL from Positive Examples Only.	FMCAD	2020	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta	Reactive Synthesis from Extended Bounded Response LTL Specifications.	FMCAD	2020	DBLP DOI BibTeX RDF
15	Aashish Agarwal, Torsten Zesch	LTL-UDE at Low-Resource Speech-to-Text Shared Task: Investigating Mozilla DeepSpeech in a low-resource setting.	SwissText/KONVENS	2020	DBLP BibTeX RDF
15	Weijun Zhu, Huanmei Wu, Miaolei Deng	LTL Model Checking Based on Binary Classification of Machine Learning.	IEEE Access	2019	DBLP DOI BibTeX RDF
15	Jianwen Li, Shufang Zhu 0001, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi	SAT-based explicit LTL reasoning and its application to satisfiability checking.	Formal Methods Syst. Des.	2019	DBLP DOI BibTeX RDF
15	Pierre-Jean Meyer, Dimos V. Dimarogonas	Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
15	Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001	Efficient Decentralized LTL Monitoring Framework Using Tableau Technique.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
15	Normann Decker, Anton Pirogov	Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.	CoRR	2019	DBLP BibTeX RDF
15	Jan Kretínský, Alexander Manta 0001, Tobias Meggendorfer	Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.	CoRR	2019	DBLP BibTeX RDF
15	Weijun Zhu, Mingliang Xu	Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms.	CoRR	2019	DBLP BibTeX RDF
15	Michael Luttenberger, Philipp J. Meyer, Salomon Sickert	Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.	CoRR	2019	DBLP BibTeX RDF
15	Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001	From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.	CoRR	2019	DBLP BibTeX RDF
15	M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah	Decentralized Runtime Verification for LTL Properties Using Global Clock.	CoRR	2019	DBLP BibTeX RDF
15	Frantisek Blahoudek, Juraj Major, Jan Strejcek	LTL to Smaller Self-Loop Alternating Automata and Back.	CoRR	2019	DBLP BibTeX RDF
15	Tayssir Touili, Xin Ye 0007	LTL Model Checking of Self Modifying Code.	CoRR	2019	DBLP BibTeX RDF
15	Benedikt Bollig, Karin Quaas, Arnaud Sangnier	The Complexity of Flat Freeze LTL.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
15	Benedikt Seidl, Salomon Sickert	A Compositional and Unified Translation of LTL into ω-Automata.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
15	Huangpan Zhang, Michael Wojatzki, Tobias Horsmann, Torsten Zesch	ltl.uni-due at SemEval-2019 Task 5: Simple but Effective Lexico-Semantic Features for Detecting Hate Speech in Twitter.	SemEval@NAACL-HLT	2019	DBLP DOI BibTeX RDF
15	Piush Aggarwal, Tobias Horsmann, Michael Wojatzki, Torsten Zesch	LTL-UDE at SemEval-2019 Task 6: BERT and Two-Vote Classification for Categorizing Offensiveness.	SemEval@NAACL-HLT	2019	DBLP DOI BibTeX RDF
15	Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia	RTL bug localization through LTL specification mining (WIP).	MEMOCODE	2019	DBLP DOI BibTeX RDF
15	Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier	Satisfiability Checking for Mission-Time LTL.	CAV (2)	2019	DBLP DOI BibTeX RDF
15	Frantisek Blahoudek, Juraj Major, Jan Strejcek	LTL to Smaller Self-Loop Alternating Automata and Back.	ICTAC	2019	DBLP DOI BibTeX RDF
15	Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001	From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.	FM	2019	DBLP DOI BibTeX RDF
15	Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001	A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.	SPIN	2019	DBLP DOI BibTeX RDF
15	Liren Yang, Necmiye Ozay	Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract.	HSCC	2019	DBLP DOI BibTeX RDF
15	Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková	ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.	ATVA	2019	DBLP DOI BibTeX RDF
15	Jan Kretínský, Alexander Manta 0001, Tobias Meggendorfer	Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.	ATVA	2019	DBLP DOI BibTeX RDF
15	Khaled Khebbeb, Nabil Hameurlain, Faiza Belala	Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.	MEDI Workshops	2019	DBLP DOI BibTeX RDF
15	Klaus Havelund, Doron Peled	An Extension of LTL with Rules and Its Application to Runtime Verification.	RV	2019	DBLP DOI BibTeX RDF
15	Nicolai Schützenmeier, Martin Käppel, Sebastian Petter, Stefan Schönig, Stefan Jablonski	Detection of Declarative Process Constraints in LTL Formulas.	EOMAS@CAiSE	2019	DBLP DOI BibTeX RDF
15	Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano	Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.	ICTCS	2019	DBLP BibTeX RDF
15	Luca Geatti, Nicola Gigante, Angelo Montanari	A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL.	TABLEAUX	2019	DBLP DOI BibTeX RDF
15	Heinz Riener	Exact Synthesis of LTL Properties from Traces.	FDL	2019	DBLP DOI BibTeX RDF
15	Rosa María Ortega-Mendoza, Delia Irazú Hernández Farías, Manuel Montes-y-Gómez	LTL-INAOE's Participation at eRisk 2019: Detecting Anorexia in Social Media through Shared Personal Information.	CLEF (Working Notes)	2019	DBLP BibTeX RDF
15	Julian Brunner 0001, Benedikt Seidl, Salomon Sickert	A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.	ITP	2019	DBLP DOI BibTeX RDF
15	Andrea Brunello, Angelo Montanari, Mark Reynolds 0001	Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.	TIME	2019	DBLP DOI BibTeX RDF
15	Sergio García 0002, Claudio Menghi, Patrizio Pelliccione	MAPmAKER: performing multi-robot LTL planning under uncertainty.	RoSE@ICSE	2019	DBLP DOI BibTeX RDF
15	Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu 0001, Blase Ur	AutoTap: synthesizing and repairing trigger-action programs using LTL properties.	ICSE	2019	DBLP DOI BibTeX RDF
15	Normann Decker, Anton Pirogov	Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.	VMCAI	2019	DBLP DOI BibTeX RDF
15	Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin	Planning under LTL Environment Specifications.	ICAPS	2019	DBLP BibTeX RDF
15	Haitao Cheng, Zongmin Ma 0001	Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL.	Description Logics	2019	DBLP BibTeX RDF
15	Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith	LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.	IJCAI	2019	DBLP DOI BibTeX RDF
15	Alberto Camacho, Sheila A. McIlraith	Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.	IJCAI	2019	DBLP DOI BibTeX RDF
15	Tayssir Touili, Xin Ye 0007	LTL Model Checking of Self Modifying Code.	ICECCS	2019	DBLP DOI BibTeX RDF
15	Gregor Behnke, Susanne Biundo	X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.	Inteligencia Artif.	2018	DBLP DOI BibTeX RDF
15	Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali	Evaluating Compliance: From LTL to Abductive Logic Programming.	Fundam. Informaticae	2018	DBLP DOI BibTeX RDF
15	Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat	On clock-aware LTL parameter synthesis of timed automata.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
15	Martin Zimmermann 0002	Parameterized linear temporal logics meet costs: still not costlier than LTL.	Acta Informatica	2018	DBLP DOI BibTeX RDF
15	Valeria Fionda, Gianluigi Greco	LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner.	J. Artif. Intell. Res.	2018	DBLP DOI BibTeX RDF
15	Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck	A Counting Semantics for Monitoring LTL Specifications over Finite Traces.	CoRR	2018	DBLP BibTeX RDF
15	Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001	Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table.	CoRR	2018	DBLP BibTeX RDF
15	Javier Esparza, Jan Kretínský, Salomon Sickert	One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.	CoRR	2018	DBLP BibTeX RDF
15	Weijun Zhu, ShaoHuan Ban, Yongwen Fan	Approximate LTL model checking.	CoRR	2018	DBLP BibTeX RDF
15	Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann 0002	From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.	CoRR	2018	DBLP BibTeX RDF
15	Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith	Finite LTL Synthesis with Environment Assumptions and Quality Measures.	CoRR	2018	DBLP BibTeX RDF
15	Omar I. Al-Bataineh	Efficient Decentralized LTL Monitoring Framework Using Tableau Approach.	CoRR	2018	DBLP BibTeX RDF
15	Brian Paden, Peng Liu, Schuyler Cullen	Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications.	CoRR	2018	DBLP BibTeX RDF
15	Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue	Causality for General LTL-definable Properties.	CREST@ETAPS	2018	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.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
15	Ingo Pill, Franz Wotawa	Automated generation of (F)LTL oracles for testing and debugging.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
15	Julian Brunner 0001, Peter Lammich	Formal Verification of an Executable LTL Model Checker with Partial Order Reduction.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
15	Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He 0001	Accelerating LTL satisfiability checking by SAT solvers.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
15	Lihui Lei, Jing Wang	可能性测度下的LTL模型检测并行化研究 (Parallelization of LTL Model Checking Based on Possibility Measure).	计算机科学	2018	DBLP DOI BibTeX RDF
15	Jianwen Li, Lijun Zhang 0001, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He 0001	An explicit transition system construction approach to LTL satisfiability checking.	Formal Aspects Comput.	2018	DBLP DOI BibTeX RDF
15	Rachel Faran, Orna Kupferman	LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems.	LPAR	2018	DBLP DOI BibTeX RDF
15	Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck	A Counting Semantics for Monitoring LTL Specifications over Finite Traces.	CAV (1)	2018	DBLP DOI BibTeX RDF
15	Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler	Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.	CAV (1)	2018	DBLP DOI BibTeX RDF
15	Martin Sulzmann, Peter Thiemann 0001	LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors.	ICTAC	2018	DBLP DOI BibTeX RDF
15	Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli	Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.	DATE	2018	DBLP DOI BibTeX RDF
15	Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar	RERS 2018: CTL, LTL, and Reachability.	ISoLA (2)	2018	DBLP DOI BibTeX RDF
15	Javier Esparza, Jan Kretínský, Salomon Sickert	One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.	LICS	2018	DBLP DOI BibTeX RDF
15	Claudio Menghi, Sergio García 0002, Patrizio Pelliccione, Jana Tumova	Multi-robot LTL Planning Under Uncertainty.	FM	2018	DBLP DOI BibTeX RDF
15	Mohammad Hekmatnejad, Georgios Fainekos	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels.	ACC	2018	DBLP DOI BibTeX RDF
15	Jaco van de Pol, Jeroen Meijer	Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin.	Models, Mindsets, Meta	2018	DBLP DOI BibTeX RDF
15	Jan Kretínský, Tobias Meggendorfer, Salomon Sickert	Owl: A Library for ω-Words, Automata, and LTL.	ATVA	2018	DBLP DOI BibTeX RDF
15	Ami Sakakibara, Toshimitsu Ushio	Directed Control of Discrete Event Systems with LTL[F] Specifications.	CDC	2018	DBLP DOI BibTeX RDF
15	Henning Schlüter, Philipp Schillinger, Mathias Bürger	On the Design of Penalty Structures for Minimum-Violation LTL Motion Planning.	CDC	2018	DBLP DOI BibTeX RDF
15	Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith	Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.	Canadian AI	2018	DBLP DOI BibTeX RDF
15	Rohit Dureja, Kristin Yvonne Rozier	More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ).	TACAS (1)	2018	DBLP DOI BibTeX RDF
15	Guillaume Hétier, Hanifa Boucheneb	On Handling Source Code Positions and Local Variables in LTL Software Model Checking.	ICSOFT	2018	DBLP DOI BibTeX RDF
15	Benjamin Lion, Samir Chouali, Farhad Arbab	Compiling Protocols to Promela and Verifying their LTL Properties.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
15	Valentin Besnard, Matthias Brun 0001, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy	Unified LTL Verification and Embedded Execution of UML Models.	MoDELS	2018	DBLP DOI BibTeX RDF
15	Simon Jantsch, Michael Norrish	Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata.	ITP	2018	DBLP DOI BibTeX RDF
15	Adrien Pommellet, Tayssir Touili	LTL Model-Checking for Communicating Concurrent Programs.	VECoS	2018	DBLP DOI BibTeX RDF
15	Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan	Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.	KR	2018	DBLP BibTeX RDF
15	Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith	Finite LTL Synthesis with Environment Assumptions and Quality Measures.	KR	2018	DBLP BibTeX RDF
15	Alberto Griggio, Marco Roveri, Stefano Tonetta	Certifying Proofs for LTL Model Checking.	FMCAD	2018	DBLP DOI BibTeX RDF
15	Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith	Finite LTL Synthesis as Planning.	ICAPS	2018	DBLP BibTeX RDF
15	Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith	SynKit: LTL Synthesis as a Service.	IJCAI	2018	DBLP DOI BibTeX RDF
15	Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith	LTL Realizability via Safety and Reachability Games.	IJCAI	2018	DBLP DOI BibTeX RDF
15	Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith	Teaching Multiple Tasks to an RL Agent using LTL.	AAMAS	2018	DBLP BibTeX RDF
15	Xiao Yang 0008	Green hub location-routing problem for LTL transport. (Le problème de localisation de hubs et routage dans le contexte de la logistique verte).		2018	RDF
15	Antonio Di Stasio 0001	Reasoning about LTL Synthesis over finite and infinite games. (PDF / PS)		2018	RDF
15	Shaull Almagor, Orna Kupferman	Latticed-LTL synthesis in the presence of noisy inputs.	Discret. Event Dyn. Syst.	2017	DBLP DOI BibTeX RDF
15	Weiwei Li, Shuanglong Kan, Zhiqiu Huang	A Better Translation From LTL to Transition-Based Generalized Büchi Automata.	IEEE Access	2017	DBLP DOI BibTeX RDF
15	Mustapha Bourahla	LTL transformation modulo positive transitions.	IET Comput. Digit. Tech.	2017	DBLP DOI BibTeX RDF
15	Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki	Safraless LTL synthesis considering maximal realizability.	Acta Informatica	2017	DBLP DOI BibTeX RDF
15	D. A. Ryabukhin, E. V. Kuzmin 0001, Valery A. Sokolov	Construction of CFC-Programs by LTL-Specification.	Autom. Control. Comput. Sci.	2017	DBLP DOI BibTeX RDF
15	David Müller 0001, Salomon Sickert	LTL to Deterministic Emerson-Lei Automata.	GandALF	2017	DBLP DOI BibTeX RDF