Search results for "LTL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki	A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.	KES	2022	DBLP DOI BibTeX RDF
15	Orna Kupferman, Noam Shenwald	The Complexity of LTL Rational Synthesis.	TACAS (1)	2022	DBLP DOI BibTeX RDF
15	Ioana Hustiu, Cristian Mahulea, Marius Kloetzer	Distributing Co-safe LTL Specifications to Mobile Robots.	ICSTCC	2022	DBLP DOI BibTeX RDF
15	Ashwin Bhaskar, M. Praveen	Realizability Problem for Constraint LTL.	TIME	2022	DBLP DOI BibTeX RDF
15	Alberto Bombardelli, Stefano Tonetta	Asynchronous Composition of Local Interface LTL Properties.	NFM	2022	DBLP DOI BibTeX RDF
15	Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg	LTL Under Reductions with Weaker Conditions Than Stutter Invariance.	FORTE	2022	DBLP DOI BibTeX RDF
15	Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su	Checking LTL Satisfiability via End-to-end Learning.	ASE	2022	DBLP DOI BibTeX RDF
15	Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt	Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking.	VMCAI	2022	DBLP DOI BibTeX RDF
15	Songtuan Lin, Pascal Bercher	On the Expressive Power of Planning Formalisms in Conjunction with LTL.	ICAPS	2022	DBLP BibTeX RDF
15	Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev	Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
15	Alessandro Gianola, Nicola Gigante	LTL Modulo Theories over Finite Traces: modeling, verification, open questions.	OVERLAY@AI*IA	2022	DBLP BibTeX RDF
15	Cambridge Yang, Michael L. Littman, Michael Carbin	On the (In)Tractability of Reinforcement Learning for LTL Objectives.	IJCAI	2022	DBLP DOI BibTeX RDF
15	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi	Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.	IJCAI	2022	DBLP DOI BibTeX RDF
15	Carmine Dodaro, Valeria Fionda, Gianluigi Greco	LTL on Weighted Finite Traces: Formal Foundations and Algorithms.	IJCAI	2022	DBLP DOI BibTeX RDF
15	Kholud Alghamdi, Marius Silaghi 0001	Automatic verification of multi-agent systems security properties specified with LTL.	FLAIRS	2022	DBLP DOI BibTeX RDF
15	Mingyu Cai, Hao Peng 0008, Zhijun Li 0001, Hongbo Gao, Zhen Kan	Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints.	IEEE Control. Syst. Lett.	2021	DBLP DOI 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.	Formal Methods Syst. Des.	2021	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.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
15	Mingyu Cai, Hao Peng 0008, Zhijun Li 0001, Zhen Kan	Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
15	Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark 0001, Linda Bushnell, Radha Poovendran	Secure Control in Partially Observable Environments to Satisfy LTL Specifications.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
15	Raphaël Khoury, Sylvain Hallé, Yannick Lebrun	Automata-based monitoring for LTL-FO+.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
15	Klaus Havelund, Doron Peled	An extension of first-order LTL with rules with application to runtime verification.	Int. J. Softw. Tools Technol. Transf.	2021	DBLP DOI BibTeX RDF
15	Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut	Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.	CoRR	2021	DBLP BibTeX RDF
15	Florian Gallay, Yliès Falcone	Decentralized LTL Enforcement.	GandALF	2021	DBLP DOI BibTeX RDF
15	Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre	Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.	CoRR	2021	DBLP BibTeX RDF
15	Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith	LTL2Action: Generalizing LTL Instructions for Multi-Task RL.	CoRR	2021	DBLP BibTeX RDF
15	Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames	Sampling Polynomial Trajectories for LTL Verification.	CoRR	2021	DBLP BibTeX RDF
15		A GNN Based Approach to LTL Model Checking.	CoRR	2021	DBLP BibTeX RDF
15	Cambridge Yang, Michael L. Littman, Michael Carbin	Reinforcement Learning for General LTL Objectives Is Intractable.	CoRR	2021	DBLP BibTeX RDF
15	Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice	Certifying the LTL Formula p Until q in Hybrid Systems.	CoRR	2021	DBLP BibTeX RDF
15	Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna 0004	Quantitative Learning of LTL from Finite Traces.	CoRR	2021	DBLP BibTeX RDF
15	Jan Kretínský	LTL-Constrained Steady-State Policy Synthesis.	CoRR	2021	DBLP BibTeX RDF
15	Wei Ren 0004, Julien Calbert, Raphaël M. Jungers	Zonotope-based Controller Synthesis for LTL Specifications.	CoRR	2021	DBLP BibTeX RDF
15	Eric Hsiung, Hiloni Mehta, Junchi Chu, Xinyu Liu 0014, Roma Patel, Stefanie Tellex, George Konidaris 0001	Generalizing to New Domains by Mapping Natural Language to Lifted LTL.	CoRR	2021	DBLP BibTeX RDF
15	Pian Yu, Dimos V. Dimarogonas	Distributed motion coordination for multi-robot systems under LTL specifications.	CoRR	2021	DBLP BibTeX RDF
15	Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta	Expressiveness of Extended Bounded Response LTL.	GandALF	2021	DBLP DOI BibTeX RDF
15		On the Complexity of Realizability for Safety LTL and Related Subfragments.	CoRR	2021	DBLP BibTeX RDF
15	Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg	LTL under reductions with weaker conditions than stutter-invariance.	CoRR	2021	DBLP BibTeX RDF
15	Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara	Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.	CoRR	2021	DBLP BibTeX RDF
15	Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki	LTL Model Checking for Register Pushdown Systems.	IEICE Trans. Inf. Syst.	2021	DBLP DOI BibTeX RDF
15	Eleni Mandrali	A Translation of Weighted LTL Formulas to Weighted B{" u}chi Automata over {\(\omega\)}-valuation Monoids.	Sci. Ann. Comput. Sci.	2021	DBLP DOI BibTeX RDF
15	Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano	Convex Approximation for LTL-based Planning.	IROS	2021	DBLP DOI BibTeX RDF
15	Kun Xie, Sylvain Hallé	Offline monitoring of LTL with bit vectors.	SAC	2021	DBLP DOI BibTeX RDF
15	Mingyu Cai, Hao Peng 0008, Zhijun Li 0001, Hongbo Gao, Zhen Kan	Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains.	ACC	2021	DBLP DOI BibTeX RDF
15	Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault	Go2Pins: A Framework for the LTL Verification of Go Programs.	SPIN	2021	DBLP DOI BibTeX RDF
15	Bartosz Bednarczyk, Jakub Michaliszyn	"Most of" leads to undecidability: Failure of adding frequencies to LTL.	FoSSaCS	2021	DBLP DOI BibTeX RDF
15	Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu 0024	Proving LTL Properties of Bitvector Programs and Decompiled Binaries.	APLAS	2021	DBLP DOI BibTeX RDF
15	Luca Geatti, Nicola Gigante, Angelo Montanari	BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker.	OVERLAY@GandALF	2021	DBLP BibTeX RDF
15	Wei Ren 0004, Julien Calbert, Raphaël M. Jungers	Zonotope-based Controller Synthesis for LTL Specifications.	CDC	2021	DBLP DOI BibTeX RDF
15	Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut	Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.	CDC	2021	DBLP DOI BibTeX RDF
15	Minjian Zhang 0002, Umang Mathur 0001, Mahesh Viswanathan 0001	Checking LTL[F, G, X] on compressed traces in polynomial time.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
15	Shengping Xiao, Jianwen Li, Shufang Zhu 0001, Yingying Shi, Geguang Pu, Moshe Y. Vardi	On-the-fly Synthesis for LTL over Finite Traces.	AAAI	2021	DBLP DOI BibTeX RDF
15	Ian Mallett, Sylvie Thiébaux, Felipe W. Trevizan	Progression Heuristics for Planning with Probabilistic LTL Constraints.	AAAI	2021	DBLP DOI BibTeX RDF
15	Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak	A One-Pass Tree-Shaped Tableau for Defeasible LTL.	TIME	2021	DBLP DOI BibTeX RDF
15	Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato	Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker.	TIME	2021	DBLP DOI BibTeX RDF
15	Kais Klai, Chiheb Ameur Abid, Jaime Arias 0001, Sami Evangelista	Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.	VECoS	2021	DBLP DOI BibTeX RDF
15	Ioana Hustiu, Cristian Mahulea, Marius Kloetzer	Optimal task allocation for distributed co-safe LTL specifications.	ETFA	2021	DBLP DOI BibTeX RDF
15	Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi	Reasoning About Smart Contracts Encoded in LTL.	AI*IA	2021	DBLP DOI BibTeX RDF
15	Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith	LTL2Action: Generalizing LTL Instructions for Multi-Task RL.	ICML	2021	DBLP BibTeX RDF
15	Jan Kretínský	LTL-Constrained Steady-State Policy Synthesis.	IJCAI	2021	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta	Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis.	SEFM	2021	DBLP DOI BibTeX RDF
15	Marius Kloetzer, Cristian Mahulea	Path planning for robotic teams based on LTL specifications and Petri net models.	Discret. Event Dyn. Syst.	2020	DBLP DOI BibTeX RDF
15	Michael Luttenberger, Philipp J. Meyer, Salomon Sickert	Practical synthesis of reactive systems from LTL specifications via parity games.	Acta Informatica	2020	DBLP DOI BibTeX RDF
15	Mohammad Hadi Zibaeenejad, Jun Liu 0015	Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications.	IEEE Trans. Autom. Control.	2020	DBLP DOI BibTeX RDF
15	Frantisek Blahoudek, Juraj Major, Jan Strejcek	LTL to self-loop alternating automata with generic acceptance and back.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta	Reactive Synthesis from Extended Bounded Response LTL Specifications.	CoRR	2020	DBLP BibTeX RDF
15	Christopher Wang, Candace Ross, Yen-Ling Kuo, Boris Katz, Andrei Barbu	Learning a natural-language to LTL executable semantic parser for grounded robotics.	CoRR	2020	DBLP BibTeX RDF
15	Daniel Hausmann 0001, Stefan Milius, Lutz Schröder	Harnessing LTL With Freeze Quantification.	CoRR	2020	DBLP BibTeX RDF
15	Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark 0001, Linda Bushnell, Radha Poovendran	Secure Control in Partially Observable Environments to Satisfy LTL Specifications.	CoRR	2020	DBLP BibTeX RDF
15	Marco Favorito	Standard Grammars for LTL and LDL (v0.1.0).	CoRR	2020	DBLP BibTeX RDF
15	Dimitar P. Guelev	Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games.	CoRR	2020	DBLP BibTeX RDF
15	Bartosz Bednarczyk, Jakub Michaliszyn	"Most of" leads to undecidability: Failure of adding frequencies to LTL.	CoRR	2020	DBLP BibTeX RDF
15	Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog	AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version).	CoRR	2020	DBLP BibTeX RDF
15	Toghrul Karimov, Joël Ouaknine, James Worrell 0001	On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.	CoRR	2020	DBLP BibTeX RDF
15	Mingyu Cai, Hao Peng 0008, Zhijun Li 0001, Hongbo Gao, Zhen Kan	Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications.	CoRR	2020	DBLP BibTeX RDF
15	Mohamadreza Ahmadi, Rangoli Sharan, Joel W. Burdick	Stochastic Finite State Control of POMDPs with LTL Specifications.	CoRR	2020	DBLP BibTeX RDF
15	Eleni Mandrali	A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids.	CoRR	2020	DBLP BibTeX RDF
15	Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut	Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.	CoRR	2020	DBLP BibTeX RDF
15	Yen-Ling Kuo, Boris Katz, Andrei Barbu	Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas.	CoRR	2020	DBLP BibTeX RDF
15	Mingyu Cai, Zhijun Li 0001, Hongbo Gao, Shaoping Xiao, Zhen Kan	Optimal Probabilistic Motion Planning with Partially Infeasible LTL Constraints.	CoRR	2020	DBLP BibTeX RDF
15	Adrien Pommellet, Tayssir Touili	LTL model checking for communicating concurrent programs.	Innov. Syst. Softw. Eng.	2020	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta	SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
15	Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog	AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.	CAV (2)	2020	DBLP DOI BibTeX RDF
15	Torsten Liebke	Büchi-Automata guided Partial Order Reduction for LTL.	PNSE@Petri Nets	2020	DBLP BibTeX RDF
15	Yen-Ling Kuo, Boris Katz, Andrei Barbu	Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas.	IROS	2020	DBLP DOI BibTeX RDF
15	Mizuho Katayama, Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama	Fast LTL-Based Flexible Planning for Dual-Arm Manipulation.	IROS	2020	DBLP DOI BibTeX RDF
15	Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li	Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.	DATE	2020	DBLP DOI BibTeX RDF
15	Richard O. Oyeleke, Carl K. Chang, Jennifer A. Margrett	Situation-Driven Context-Aware Safety Model for Risk Mitigation Using LTL in a Smart Home Environment.	SERVICES	2020	DBLP DOI BibTeX RDF
15	Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis	Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.	SAFECOMP	2020	DBLP DOI BibTeX RDF
15	Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo 0005, Geguang Pu	SAT-Based Automata Construction for LTL over Finite Traces.	APSEC	2020	DBLP DOI 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.	HSCC	2020	DBLP DOI BibTeX RDF
15	Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut	Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.	ICARCV	2020	DBLP DOI BibTeX RDF
15	Toghrul Karimov, Joël Ouaknine, James Worrell 0001	On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.	MFCS	2020	DBLP DOI BibTeX RDF
15	Christopher Wang, Candace Ross, Yen-Ling Kuo, Boris Katz, Andrei Barbu	Learning a natural-language to LTL executable semantic parser for grounded robotics.	CoRL	2020	DBLP BibTeX RDF
15	Georg Friedrich Schuppe, Jana Tumova	Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition.	CASE	2020	DBLP DOI BibTeX RDF
15	Ioana Hustiu, Marius Kloetzer, Cristian Mahulea	Distributed Path Planning of Mobile Robots with LTL Specifications.	ICSTCC	2020	DBLP DOI BibTeX RDF
15	Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio	WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.	ICCPS	2020	DBLP DOI BibTeX RDF
15	Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak	On the Decidability of a Fragment of preferential LTL.	TIME	2020	DBLP DOI BibTeX RDF
15	Chiheb Ameur Abid, Kaïs Klai, Jaime Arias 0001, Hiba Ouni	SOG-Based Multi-Core LTL Model Checking.	ISPA/BDCloud/SocialCom/SustainCom	2020	DBLP DOI BibTeX RDF
15	Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin	High-level Programming via Generalized Planning and LTL Synthesis.	KR	2020	DBLP DOI BibTeX RDF