Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|