Search results for "LTL"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Lai-Xiang Shan, Zheng Qin 0003, Kaiping Xu, Xu Chen, Zhipeng Li	From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization.	APSEC	2015	DBLP DOI BibTeX RDF
15	Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello	Evaluating compliance: from LTL to abductive logic programming.	CILC	2015	DBLP BibTeX RDF
15	Xiaoning Du 0001, Yang Liu 0003, Alwen Tiu	Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL.	FM	2015	DBLP DOI BibTeX RDF
15	Ala-Eddine Ben Salem	Single-Pass Testing Automata for LTL Model Checking.	LATA	2015	DBLP DOI BibTeX RDF
15	Jana Tumova, Dimos V. Dimarogonas	Decomposition of multi-agent planning under distributed motion and task LTL specifications.	CDC	2015	DBLP DOI BibTeX RDF
15	Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan	LtlNfBa: Making LTL Translation More Practical.	SOFL+MSVL	2015	DBLP DOI BibTeX RDF
15	Kais Klai, Hanen Ochi	LTL Model Cheking of Service-Based Business Processes in the Cloud.	COMPSAC Workshops	2015	DBLP DOI BibTeX RDF
15	Ingo Pill, Thomas Quaritsch, Franz Wotawa	Parse tree structure in LTL requirements diagnosis.	ISSRE Workshops	2015	DBLP DOI BibTeX RDF
15	Menna Mostafa, Borzoo Bonakdarpour	Decentralized Runtime Verification of LTL Specifications in Distributed Systems.	IPDPS	2015	DBLP DOI BibTeX RDF
15	Ala-Eddine Ben Salem, Mohamed Graiet	Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata.	ACSD	2015	DBLP DOI BibTeX RDF
15	Shahar Maoz, Jan Oliver Ringert	GR(1) synthesis for LTL specification patterns.	ESEC/SIGSOFT FSE	2015	DBLP DOI BibTeX RDF
15	Norihiro Kamide	Inconsistency and Sequentiality in LTL.	ICAART (2)	2015	DBLP BibTeX RDF
15	Clare Cini, Adrian Francalanza	An LTL Proof System for Runtime Verification.	TACAS	2015	DBLP DOI BibTeX RDF
15	Vince Molnár, Dániel Darvas, András Vörös 0001, Tamás Bartha	Saturation-Based Incremental LTL Model Checking with Inductive Proofs.	TACAS	2015	DBLP DOI BibTeX RDF
15	Dileep Kini, Mahesh Viswanathan 0001	Limit Deterministic and Probabilistic Automata for LTL ∖ GU.	TACAS	2015	DBLP DOI BibTeX RDF
15	Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi	SAT-Based Explicit LTL Reasoning.	Haifa Verification Conference	2015	DBLP DOI BibTeX RDF
15	Bruno Lacerda, David Parker 0001, Nick Hawes	Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract).	AAAI Fall Symposia	2015	DBLP BibTeX RDF
15	Martin Lück, Arne Meier	LTL Fragments are Hard for Standard Parameterisations.	TIME	2015	DBLP DOI BibTeX RDF
15	Vojtech Forejt, Jan Krcál	On Frequency LTL in Probabilistic Systems.	CONCUR	2015	DBLP DOI BibTeX RDF
15	Ala-Eddine Ben Salem	Extending Testing Automata to All LTL.	FORTE	2015	DBLP DOI BibTeX RDF
15	Caroline Lemieux, Ivan Beschastnikh	Investigating Program Behavior Using the Texada LTL Specifications Miner.	ASE	2015	DBLP DOI BibTeX RDF
15	Caroline Lemieux, Dennis Park, Ivan Beschastnikh	General LTL Specification Mining (T).	ASE	2015	DBLP DOI BibTeX RDF
15	Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001	Efficient Scalable Verification of LTL Specifications.	ICSE (1)	2015	DBLP DOI BibTeX RDF
15	Salomé Simon, Gabriele Röger	Finding and Exploiting LTL Trajectory Constraints in Heuristic Search.	SOCS	2015	DBLP DOI BibTeX RDF
15	Bruno Lacerda, David Parker 0001, Nick Hawes	Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.	IJCAI	2015	DBLP BibTeX RDF
15	Jorge Torres, Jorge A. Baier	Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals.	IJCAI	2015	DBLP BibTeX RDF
15	Giuseppe De Giacomo, Moshe Y. Vardi	Synthesis for LTL and LDL on Finite Traces.	IJCAI	2015	DBLP BibTeX RDF
15	Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin	LTL is closed under topological closure.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
15	Xu Chu Ding, Mircea Lazar, Calin Belta	LTL receding horizon control for finite deterministic systems.	Autom.	2014	DBLP DOI BibTeX RDF
15	Jason Crampton, Michael Huth 0001, Jim Huan-Pu Kuo	Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
15	E. V. Kuzmin 0001, Valery A. Sokolov, D. A. Ryabukhin	Construction and verification of PLC LD programs by the LTL specification.	Autom. Control. Comput. Sci.	2014	DBLP DOI BibTeX RDF
15	Shota Nakagawa, Ichiro Hasuo	Near-Optimal Scheduler Synthesis for LTL with Future Discounting.	CoRR	2014	DBLP BibTeX RDF
15	Meng Guo 0002, Jana Tumova, Dimos V. Dimarogonas	Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints.	CoRR	2014	DBLP BibTeX RDF
15	Souymodip Chakraborty, Joost-Pieter Katoen	Parametric LTL on Markov Chains.	CoRR	2014	DBLP BibTeX RDF
15	Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams	Managing LTL properties in Event-B refinement.	CoRR	2014	DBLP BibTeX RDF
15	Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He 0001	Fast LTL Satisfiability Checking by SAT Solvers.	CoRR	2014	DBLP BibTeX RDF
15	Javier Esparza, Jan Kretínský	From LTL to Deterministic Automata: A Safraless Compositional Approach.	CoRR	2014	DBLP BibTeX RDF
15	Jana Tumova, Dimos V. Dimarogonas	A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications.	CoRR	2014	DBLP BibTeX RDF
15	Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná	LTL Model Checking of Parametric Timed Automata.	CoRR	2014	DBLP BibTeX RDF
15	Shaull Almagor, Udi Boker, Orna Kupferman	Discounting in LTL.	CoRR	2014	DBLP BibTeX RDF
15	Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara	An LTL Semantics of Business Workflows with Recovery.	CoRR	2014	DBLP BibTeX RDF
15	Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister	Accelerated Runtime Verification of LTL Specifications with Counting Semantics.	CoRR	2014	DBLP BibTeX RDF
15	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001, Pierluigi San Pietro	Constraint LTL satisfiability checking without automata.	J. Appl. Log.	2014	DBLP DOI BibTeX RDF
15	Franz Baader, Marcel Lippmann	Runtime verification using the temporal description logic ALC-LTL revisited.	J. Appl. Log.	2014	DBLP DOI BibTeX RDF
15	Alexandre Duret-Lutz	LTL translation improvements in Spot 1.0.	Int. J. Crit. Comput. Based Syst.	2014	DBLP DOI BibTeX RDF
15	Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus	A Fully Verified Executable LTL Model Checker.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
15	René Neumann	Using Promela in a Fully Verified Executable LTL Model Checker.	VSTTE	2014	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta	Verifying LTL Properties of Hybrid Systems with K-Liveness.	CAV	2014	DBLP DOI BibTeX RDF
15	Javier Esparza, Jan Kretínský	From LTL to Deterministic Automata: A Safraless Compositional Approach.	CAV	2014	DBLP DOI BibTeX RDF
15	Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki	Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.	ICFEM	2014	DBLP DOI BibTeX RDF
15	Zhimin Wu, Yang Liu 0003, Yun Liang 0001, Jun Sun 0001	GPU Accelerated Counterexample Generation in LTL Model Checking.	ICFEM	2014	DBLP DOI BibTeX RDF
15	Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini	An LTL Model Checking Approach for Biological Parameter Inference.	ICFEM	2014	DBLP DOI BibTeX RDF
15	Meng Guo 0002, Dimos V. Dimarogonas	Distributed plan reconfiguration via knowledge transfer in multi-agent systems under local LTL specifications.	ICRA	2014	DBLP DOI BibTeX RDF
15	Bruno Lacerda, David Parker 0001, Nick Hawes	Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications.	IROS	2014	DBLP DOI BibTeX RDF
15	Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar 0001, George J. Pappas, Sanjit A. Seshia	Automated composition of motion primitives for multi-robot systems from safe LTL specifications.	IROS	2014	DBLP DOI BibTeX RDF
15	Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic	Maximally satisfying LTL action planning.	IROS	2014	DBLP DOI BibTeX RDF
15	Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná	On Clock-Aware LTL Properties of Timed Automata.	ICTAC	2014	DBLP DOI BibTeX RDF
15	Rangoli Sharan, Joel W. Burdick	Finite state control of POMDPs with LTL specifications.	ACC	2014	DBLP DOI BibTeX RDF
15	Jana Tumova, Dimos V. Dimarogonas	A receding horizon approach to multi-agent planning from local LTL specifications.	ACC	2014	DBLP DOI BibTeX RDF
15	Zuzana Komárková, Jan Kretínský	Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata.	ATVA	2014	DBLP DOI BibTeX RDF
15	Shaull Almagor, Orna Kupferman	Latticed-LTL Synthesis in the Presence of Noisy Inputs.	FoSSaCS	2014	DBLP DOI BibTeX RDF
15	Meng Guo 0002, Jana Tumova, Dimos V. Dimarogonas	Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints.	CDC	2014	DBLP DOI BibTeX RDF
15	Ryoungkwo Kwon, Gihwon Kwon	Simulating Synthesized Automata from Decentralized Specifications in LTL.	FCC	2014	DBLP DOI BibTeX RDF
15	Petr Bauch, Vojtech Havel, Jiri Barnat	LTL Model Checking of LLVM Bitcode with Symbolic Data.	MEMICS	2014	DBLP DOI BibTeX RDF
15	Christian Colombo 0001, Yliès Falcone	Organising LTL Monitors over Distributed Systems with a Global Clock.	RV	2014	DBLP DOI BibTeX RDF
15	Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali	Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.	BPM	2014	DBLP DOI BibTeX RDF
15	Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang 0001, Jifeng He 0001	Aalta: an LTL satisfiability checker over Infinite/Finite traces.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
15	Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali	Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.	AAAI	2014	DBLP DOI BibTeX RDF
15	Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos	LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.	ECAI	2014	DBLP DOI BibTeX RDF
15	Rajeev Goré	And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.	IJCAR	2014	DBLP DOI BibTeX RDF
15	Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams	Managing LTL Properties in Event-B Refinement.	IFM	2014	DBLP DOI BibTeX RDF
15	Benjamin Zarrieß, Jens Claßen	On the Decidability of Verifying LTL Properties of Golog Programs.	AAAI Spring Symposia	2014	DBLP BibTeX RDF
15	Ming Chai, Bernd-Holger Schlingloff	Online Monitoring of Distributed Systems with a Five-Valued LTL.	ISMVL	2014	DBLP DOI BibTeX RDF
15	Shaull Almagor, Udi Boker, Orna Kupferman	Discounting in LTL.	TACAS	2014	DBLP DOI BibTeX RDF
15	Alfons Laarman, Anton Wijs	Partial-Order Reduction for Multi-core LTL Model Checking.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
15	Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara	An LTL Semantics of BusinessWorkflows with Recovery.	ICSOFT PT	2014	DBLP DOI BibTeX RDF
15	Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel	Averaging in LTL.	CONCUR	2014	DBLP DOI BibTeX RDF
15	Souymodip Chakraborty, Joost-Pieter Katoen	Parametric LTL on Markov Chains.	IFIP TCS	2014	DBLP DOI BibTeX RDF
15	Dileep Kini, Mahesh Viswanathan 0001	Probabilistic Automata for Safety LTL Specifications.	VMCAI	2014	DBLP DOI BibTeX RDF
15	Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin	Anchored LTL separation.	CSL-LICS	2014	DBLP DOI BibTeX RDF
15	Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev	Temporal OBDA with LTL and DL-Lite.	Description Logics	2014	DBLP BibTeX RDF
15	Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang 0017	Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.	TASE	2014	DBLP DOI BibTeX RDF
15	Sentot Kromodimoeljo	Controlling the Generation of Multiple Counterexamples in LTL Model Checking		2014	DOI RDF
15	J. Fabian Meier, Uwe Clausen	Strategic planning in LTL logistics - increasing the capacity utilization of trucks.	Electron. Notes Discret. Math.	2013	DBLP DOI BibTeX RDF
15	José Antonio Carbajal, Alan L. Erera, Martin W. P. Savelsbergh	Balancing fleet size and repositioning costs in LTL trucking.	Ann. Oper. Res.	2013	DBLP DOI BibTeX RDF
15	Alan L. Erera, Michael Hewitt, Martin W. P. Savelsbergh, Yang Zhang 0005	Creating schedules and computing operating costs for LTL load plans.	Comput. Oper. Res.	2013	DBLP DOI BibTeX RDF
15	Martin Zimmermann 0002	Optimal bounds in parametric LTL games.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Liang Song, Jianmin Wang 0001, Lijie Wen, Hui Kong 0004	Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
15	Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi	Falsification of LTL safety properties in hybrid systems.	Int. J. Softw. Tools Technol. Transf.	2013	DBLP DOI BibTeX RDF
15	Emmanuel Filiot, Naiyong Jin, Jean-François Raskin	Exploiting structure in LTL synthesis.	Int. J. Softw. Tools Technol. Transf.	2013	DBLP DOI BibTeX RDF
15	Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin	Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.	IEEE Trans. Software Eng.	2013	DBLP DOI BibTeX RDF
15	Marco Comini, Laura Titolo, Alicia Villanueva	Towards an Effective Decision Procedure for LTL formulas with Constraints.	CoRR	2013	DBLP BibTeX RDF
15	Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek	Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.	CoRR	2013	DBLP BibTeX RDF
15	Chih-Hong Cheng, Edward A. Lee	Numerical LTL Synthesis for Cyber-Physical Systems.	CoRR	2013	DBLP BibTeX RDF
15	Viktor Schuppan	Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance.	QAPL	2013	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský	Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis	CoRR	2013	DBLP BibTeX RDF
15	Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus	Minimum-violation LTL Planning with Conflicting Specifications	CoRR	2013	DBLP BibTeX RDF
15	Martin Suda 0001	Variable and clause elimination for LTL satisfiability checking.	CoRR	2013	DBLP BibTeX RDF
15	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	The Complexity of Clausal Fragments of LTL.	CoRR	2013	DBLP BibTeX RDF
15	Jianwen Li, Geguang Pu, Lijun Zhang 0001, Yinbo Yao, Moshe Y. Vardi, Jifeng He 0001	Polsat: A Portfolio LTL Satisfiability Solver.	CoRR	2013	DBLP BibTeX RDF