Search results for "LTL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur	A Complete Fragment of LTL(EB).	CoRR	2024	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic	Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs.	CoRR	2024	DBLP DOI BibTeX RDF
15	Ashwin Bhaskar, M. Praveen	Realizability problem for constraint LTL.	Inf. Comput.	2024	DBLP DOI BibTeX RDF
15	Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel	MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.	HSCC	2024	DBLP DOI BibTeX RDF
15	Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel	Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.	HSCC	2024	DBLP DOI BibTeX RDF
15	Luca Geatti, Alessio Mansutti, Angelo Montanari	Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
15	Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001	A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs.	AAAI	2024	DBLP DOI BibTeX RDF
15	Andoni Rodríguez, César Sánchez 0001	Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.	AAAI	2024	DBLP DOI BibTeX RDF
15	Muhammad Osama 0003, Anton Wijs	Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.	TACAS (2)	2024	DBLP DOI BibTeX RDF
15	Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi	Model-Guided Synthesis for LTL over Finite Traces.	VMCAI (1)	2024	DBLP DOI BibTeX RDF
15	Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur	A Complete Fragment of LTL(EB).	FoIKS	2024	DBLP DOI BibTeX RDF
15	Nathalie Bertrand 0001, Hugo Francon, Nicolas Markey	Synchronizing words under LTL constraints.	Inf. Process. Lett.	2023	DBLP DOI BibTeX RDF
15	Wataru Hatanaka, Ryota Yamashina, Takamitsu Matsubara	Reinforcement Learning of Action and Query Policies With LTL Instructions Under Uncertain Event Detector.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
15	Mingyu Cai, Shaoping Xiao, Zhijun Li 0001, Zhen Kan	Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
15	Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice	Certifying the LTL Formula p Until q in Hybrid Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
15	Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi	Little Tricky Logic: Misconceptions in the Understanding of LTL.	Art Sci. Eng. Program.	2023	DBLP DOI BibTeX RDF
15	Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault	Go2Pins: a framework for the LTL verification of Go programs (extended version).	Int. J. Softw. Tools Technol. Transf.	2023	DBLP DOI BibTeX RDF
15	Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel	MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.	CoRR	2023	DBLP DOI BibTeX RDF
15	Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano 0001	LTL Synthesis on Infinite-State Arenas defined by Programs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Prasita Mukherjee, Haoteng Yin	OCTAL: Graph Representation Learning for LTL Model Checking.	CoRR	2023	DBLP DOI BibTeX RDF
15	Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.	CoRR	2023	DBLP DOI BibTeX RDF
15	Alberto Bombardelli, Stefano Tonetta	Asynchronous Composition of LTL Properties over Infinite and Finite Traces.	CoRR	2023	DBLP DOI BibTeX RDF
15	Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas	Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments.	CoRR	2023	DBLP DOI BibTeX RDF
15	Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001	A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Stanly Samuel, Deepak D'Souza, Raghavan Komondoor	Towards Efficient Controller Synthesis Techniques for Logical LTL Games.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder	Guessing Winning Policies in LTL Synthesis by Semantic Learning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Wataru Hatanaka, Ryota Yamashina, Takamitsu Matsubara	Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector.	CoRR	2023	DBLP DOI BibTeX RDF
15	Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001	Policy Synthesis and Reinforcement Learning for Discounted LTL.	CoRR	2023	DBLP DOI BibTeX RDF
15	Angelos Mavrogiannis, Christoforos I. Mavrogiannis, Yiannis Aloimonos	Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
15	Daqian Shao, Marta Kwiatkowska	Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.	CoRR	2023	DBLP DOI BibTeX RDF
15	Josu Oca, Montserrat Hermo, Alexander Bolotov	Revisiting the specification decomposition for synthesis based on LTL solvers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert	Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications.	CoRR	2023	DBLP DOI BibTeX RDF
15	Daniel Hausmann 0001, Mathieu Lehaut, Nir Piterman	Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL.	CoRR	2023	DBLP DOI BibTeX RDF
15	Eleni Mandrali	Describing weighted safety with weighted LTL over product ω-valuation monoids.	CoRR	2023	DBLP DOI BibTeX RDF
15	Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin	LTL Reactive Synthesis with a Few Hints.	CoRR	2023	DBLP DOI BibTeX RDF
15	Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone	3vLTL: A Tool to Generate Automata for Three-valued LTL.	FMAS@iFM	2023	DBLP DOI BibTeX RDF
15	Zesen Liu, Meng Guo 0002, Zhongkui Li	Tackling the Curse of Dimensionality in Large-scale Multi-agent LTL Task Planning via Poset Product.	CoRR	2023	DBLP DOI BibTeX RDF
15	Eleni Mandrali	Describing weighted safety with weighted LTL over product omega-valuation monoids.	Sci. Ann. Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001	Policy Synthesis and Reinforcement Learning for Discounted LTL.	CAV (1)	2023	DBLP DOI BibTeX RDF
15	Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder	Guessing Winning Policies in LTL Synthesis by Semantic Learning.	CAV (1)	2023	DBLP DOI BibTeX RDF
15	Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li	A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning.	ICFEM	2023	DBLP DOI BibTeX RDF
15	Kwesi Rutledge, Yuhang Mei, Necmiye Ozay	Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL.	ACC	2023	DBLP DOI BibTeX RDF
15	Serenella Cerrito, Valentin Goranko, Sophie Paillocher	Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach.	FSCD	2023	DBLP DOI BibTeX RDF
15	Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi	From LTL on Process Traces to Finite-state Automata.	BPM (Demos / Resources Forum)	2023	DBLP BibTeX RDF
15	Francesco Fuggitti, Tathagata Chakraborti	NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas.	AAAI	2023	DBLP DOI BibTeX RDF
15	Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru	Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.	FMICS	2023	DBLP DOI BibTeX RDF
15	Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez 0001, Nazareno Aguirre, Renzo Degiovanni	Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.	GECCO	2023	DBLP DOI BibTeX RDF
15	Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni	Symbolic Model Checking of Relative Safety LTL Properties.	iFM	2023	DBLP DOI BibTeX RDF
15	Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier	Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.	iFM	2023	DBLP DOI BibTeX RDF
15	Michaël Cadilhac, Guillermo A. Pérez 0001	Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.	TACAS (2)	2023	DBLP DOI BibTeX RDF
15	Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin	LTL Reactive Synthesis with a Few Hints.	TACAS (2)	2023	DBLP DOI BibTeX RDF
15	Luca Geatti, Angelo Montanari, Nicola Saccomanno	Towards Machine Learning Enhanced LTL Monitoring.	OVERLAY@AI*IA	2023	DBLP BibTeX RDF
15	Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas	Reactive and Human-in-the-Loop Planning and Control of Multi-Robot Systems under LTL Specifications in Dynamic Environments.	CoDIT	2023	DBLP DOI BibTeX RDF
15	Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo	Towards ILP-Based LTL f Passive Learning.	ILP	2023	DBLP DOI BibTeX RDF
15	Stanly Samuel, Deepak D'Souza, Raghavan Komondoor	Symbolic Fixpoint Algorithms for Logical LTL Games.	ASE	2023	DBLP DOI BibTeX RDF
15	Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen	SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.	ASE	2023	DBLP DOI BibTeX RDF
15	Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng	PURLTL: Mining LTL Specification from Imperfect Traces in Testing.	ASE	2023	DBLP DOI BibTeX RDF
15	Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase	Computing All Facts Entailed By An LTL Specification.	KR	2023	DBLP DOI BibTeX RDF
15	Ioana Hustiu, Marius Kloetzer, Cristian Mahulea	Extension of a decomposition method for a global LTL specification.	ETFA	2023	DBLP DOI BibTeX RDF
15	Ashwin Bhaskar, M. Praveen	Constraint LTL with Remote Access.	FSTTCS	2023	DBLP DOI BibTeX RDF
15	Umberto Grandi, Emiliano Lorini, Timothy Parker	Moral Planning Agents with LTL Values.	IJCAI	2023	DBLP DOI BibTeX RDF
15	Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.	IJCAI	2023	DBLP DOI BibTeX RDF
15	Daqian Shao, Marta Kwiatkowska	Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.	IJCAI	2023	DBLP DOI BibTeX RDF
15	Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna 0004, Ashutosh Trivedi 0001, Alvaro Velasquez	LTL-Based Non-Markovian Inverse Reinforcement Learning.	AAMAS	2023	DBLP BibTeX RDF
15	Ryohei Oura, Toshimitsu Ushio	Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
15	Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha	Diagnosability verification using LTL model checking.	Discret. Event Dyn. Syst.	2022	DBLP DOI BibTeX RDF
15	Tayssir Touili, Xin Ye 0007	LTL model checking of self modifying code.	Formal Methods Syst. Des.	2022	DBLP DOI BibTeX RDF
15	Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio	Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
15	Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames	Sampling polynomial trajectories for LTL verification.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Daiying Tian, Hao Fang 0001, Qingkai Yang, Yue Wei	Decentralized Motion Planning for Multiagent Collaboration Under Coupled LTL Task Specifications.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
15	Pian Yu, Dimos V. Dimarogonas	Distributed Motion Coordination for Multirobot Systems Under LTL Specifications.	IEEE Trans. Robotics	2022	DBLP DOI BibTeX RDF
15	E. V. Kuzmin 0001	LTL-Specification of Counter Machines.	Autom. Control. Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001, Luciano Baresi	On How Bit-Vector Logic Can Help Verify LTL-Based Specifications.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
15	Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian 0001, Masaki Waga, Kohei Suenaga	Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.	CoRR	2022	DBLP DOI BibTeX RDF
15	Duo Xu, Faramarz Fekri	Generalizing LTL Instructions via Future Dependent Options.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi	Little Tricky Logic: Misconceptions in the Understanding of LTL.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jianing Zhao, Keyi Zhu, Xiang Yin 0003, Shaoyuan Li	To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments.	CoRR	2022	DBLP DOI BibTeX RDF
15	Liam O'Connor, Oskar Wickström	Quickstrom: Property Based Acceptance Testing with LTL Specifications.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ryohei Oura, Toshimitsu Ushio	Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage	On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications.	CoRR	2022	DBLP DOI BibTeX RDF
15	Michaël Cadilhac, Guillermo A. Pérez 0001	Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.	CoRR	2022	DBLP DOI BibTeX RDF
15	Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf	OCTAL: Graph Representation Learning for LTL Model Checking.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ashwin Bhaskar, M. Praveen	Realizability Problem for Constraint LTL.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ashwin Bhaskar	LTL with Local and Remote Data Constraints.	CoRR	2022	DBLP DOI BibTeX RDF
15	Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki	Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.	CoRR	2022	DBLP DOI BibTeX RDF
15	Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki	Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.	IEICE Trans. Inf. Syst.	2022	DBLP DOI BibTeX RDF
15	Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier	Satisfiability checking for Mission-time LTL (MLTL).	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Alberto Griggio, Enrico Magnago	LTL falsification in infinite-state systems.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
15	Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki	Efficient Realizability Checking by Modularization of LTL Specifications.	Comput. J.	2022	DBLP DOI BibTeX RDF
15	Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio 0001, Yong Li 0031, Moshe Y. Vardi, Shufang Zhu 0001	Compositional Safety LTL Synthesis.	VSTTE	2022	DBLP DOI BibTeX RDF
15	Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian 0001, Masaki Waga, Kohei Suenaga	Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.	CAV (1)	2022	DBLP DOI 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.	ICRA	2022	DBLP DOI BibTeX RDF
15	Peng Jin, Yang Wang, Min Zhang 0002	Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction.	SEKE	2022	DBLP DOI BibTeX RDF
15	Samuele Germiniani, Graziano Pravadelli	Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions.	VLSI-SoC	2022	DBLP DOI BibTeX RDF
15	Anissa Kheireddine, Etienne Renault, Souheib Baarir	Tuning SAT solvers for LTL Model Checking.	APSEC	2022	DBLP DOI BibTeX RDF
15	Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta 0001	LTL Model Checking using Coinductive Answer Set Programming.	ICLP Workshops	2022	DBLP BibTeX RDF
15	Himaja Cherukuri, Alessio Ferrari 0001, Paola Spoletini	Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation.	REFSQ	2022	DBLP DOI BibTeX RDF
15	Liam O'Connor, Oskar Wickström	Quickstrom: property-based acceptance testing with LTL specifications.	PLDI	2022	DBLP DOI BibTeX RDF
15	Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi	Reasoning about Smart Contracts via LTL Encoding.	SEBD	2022	DBLP BibTeX RDF
15	Gianluca Martino, Görschwin Fey	Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS.	SMACD	2022	DBLP DOI BibTeX RDF