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