Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001 |
CTL* synthesis via LTL synthesis. |
SYNT@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert |
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Shufang Zhu 0001, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |
A Symbolic Approach to Safety LTL Synthesis. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Martin Sulzmann, Peter Thiemann 0001 |
LTL Semantic Tableaux and Alternating ω-automata via Linear Factors. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Pierre-Jean Meyer, Dimos V. Dimarogonas |
Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Shuanglong Kan, Zhiqiu Huang, Zhe Chen 0011, Weiwei Li, Yutao Huang |
Partial order reduction for checking LTL formulae with the next-time operator. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Min Zhang 0002, Yunhui Ying |
Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems. |
LCTES |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kim G. Larsen, Doron Peled, Sean Sedwards |
Memory-Efficient Tactics for Randomized LTL Model Checking. |
VSTTE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Baaz, Norbert Preining |
Gödel logics and the fully boxed fragment of LTL. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 |
A One-Pass Tree-Shaped Tableau for LTL+Past. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas |
Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints. |
ICRA |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister |
Runtime verification of LTL on lossy traces. |
SAC |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi |
LeeTL: LTL with quantifications over model objects. |
SPIN |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Haitao Cheng, Zongmin Ma 0001 |
f- ALC (D)-LTL: A Fuzzy Spatio-Temporal Description Logic. |
KSEM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tam Thi Thanh Nguyen, Kazuhiro Ogata 0001 |
A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker. |
SATE |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. |
AAAI |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Dileep Kini, Mahesh Viswanathan 0001 |
Optimal Translation of LTL to Limit Deterministic Automata. |
TACAS (2) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert |
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. |
TACAS (1) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shufang Zhu 0001, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |
A Symbolic Approach to Safety ltl Synthesis. |
Haifa Verification Conference |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Benedikt Bollig, Karin Quaas, Arnaud Sangnier |
The Complexity of Flat Freeze LTL. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis |
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov |
Bringing LTL Model Checking to Biologists. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith |
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. |
SOCS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Dileep Kini, Mahesh Viswanathan 0001 |
Complexity of Model Checking MDPs against LTL Specifications. |
FSTTCS |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ming Chai, Bernd-Holger Schlingloff |
System Monitoring with a Five-valued LTL. |
J. Multiple Valued Log. Soft Comput. |
2016 |
DBLP BibTeX RDF |
|
15 | Viktor Schuppan |
Extracting unsatisfiable cores for LTL via temporal resolution. |
Acta Informatica |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský, Salomon Sickert |
From LTL to deterministic automata - A safraless compositional approach. |
Formal Methods Syst. Des. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Bauer 0002, Yliès Falcone |
Decentralised LTL monitoring. |
Formal Methods Syst. Des. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Christian Colombo 0001, Yliès Falcone |
Organising LTL monitors over distributed systems with a global clock. |
Formal Methods Syst. Des. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jana Tumova, Dimos V. Dimarogonas |
Multi-agent planning under local LTL specifications and event-based synchronization. |
Autom. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Viktor Schuppan |
Enhancing unsatisfiable cores for LTL with information on temporal relevance. |
Theor. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | E. V. Kuzmin 0001, D. A. Ryabukhin, Valery A. Sokolov |
On the expressiveness of the approach to constructing PLC-programs by LTL-specification. |
Autom. Control. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Elaheh Ghassabani, Mohammad Abdollahi Azgomi |
A New Approach to Stateless Model Checking of LTL Properties. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Leander Tentrup, Alexander Weinert, Martin Zimmermann 0002 |
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time |
GandALF |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Swen Jacobs, Felix Klein 0001 |
A High-Level LTL Synthesis Format: TLSF v1.0. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Mark Reynolds 0001 |
A traditional tree-style tableau for LTL. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Swen Jacobs, Leander Tentrup, Martin Zimmermann 0002 |
Distributed PROMPT-LTL Synthesis. |
GandALF |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jana Tumova, Dimos V. Dimarogonas |
Decomposition of Multi-Agent Planning under Distributed Motion and Task LTL Specifications. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Jana Tumova, Dimos V. Dimarogonas |
Multi-Agent Planning under Local LTL Specifications and Event-Based Synchronization. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | |
Finite LTL Synthesis is EXPTIME-complete. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Swen Jacobs, Felix Klein 0001, Sebastian Schirmer |
A High-Level LTL Synthesis Format: TLSF v1.1. |
SYNT@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Yong Li 0031, Lei Song, Yuan Feng 0001, Lijun Zhang 0001 |
Verify LTL with Fairness Assumptions Efficiently. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Fu Song, Tayssir Touili |
LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Model Checking Flat Freeze LTL on One-Counter Automata. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Mark Reynolds 0001 |
A New Rule for LTL Tableaux. |
GandALF |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Mazzara |
LTL-based Verification of Reconfigurable Workflows. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
15 | Vince Molnár, András Vörös 0001, Dániel Darvas, Tamás Bartha, István Majzik |
Component-wise incremental LTL model checking. |
Formal Aspects Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Michael Wojatzki, Torsten Zesch |
ltl.uni-due at SemEval-2016 Task 6: Stance Detection in Social Media Using Stacked Classifiers. |
SemEval@NAACL-HLT |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001 |
How bit-vector logic can help improve the verification of LTL specifications over infinite domains. |
SAC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga |
Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS. |
SAC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Shahar Maoz, Jan Oliver Ringert |
GR(1) synthesis for LTL specification patterns. |
Software Engineering |
2016 |
DBLP BibTeX RDF |
|
15 | Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol |
RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. |
ISoLA (2) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Raphaël Khoury, Sylvain Hallé, Omar Waldmann |
Execution Trace Analysis Using LTL-FO ^+. |
ISoLA (2) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Yiannis Kantaros, Michael M. Zavlanos |
A distributed LTL-based approach for intermittent communication in mobile robot networks. |
ACC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Salomon Sickert, Jan Kretínský |
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu |
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. |
ATVA |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Normann Decker, Daniel Thoma |
On Freeze LTL with Ordered Attributes. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
15 | John Irvin Alora, Alex A. Gorodetsky, Sertac Karaman, Youssef M. Marzouk, Nathan Lowry |
Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions. |
CDC |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi |
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ingo Pill, Franz Wotawa |
An Automated (F) LTL Test Oracle for Testing with Requirements. |
ISSRE Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Valeria Fionda, Gianluigi Greco |
The Complexity of LTL on Finite Traces: Hard and Easy Fragments. |
AAAI |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Marius Kloetzer, Cristian Mahulea |
Multi-robot path planning for syntactically co-safe LTL specifications. |
WODES |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Schillinger, Mathias Bürger, Dimos V. Dimarogonas |
Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning. |
DARS |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Vladimír Still, Petr Rockai, Jiri Barnat |
DIVINE: Explicit-State LTL Model Checker - (Competition Contribution). |
TACAS |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Vincent Bloemen, Jaco van de Pol |
Multi-core SCC-Based LTL Model Checking. |
Haifa Verification Conference |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Yong Li 0031, Lei Song, Yuan Feng 0001, Lijun Zhang 0001 |
Verify LTL with Fairness Assumptions Efficiently. |
TIME |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Model Checking Flat Freeze LTL on One-Counter Automata. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Julian Brunner 0001, Peter Lammich |
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. |
NFM |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Horsmann, Torsten Zesch |
LTL-UDE $@$ EmpiriST 2015: Tokenization and PoS Tagging of Social Media Text. |
WAC@ACL |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 |
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
15 | Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). |
KnowProS@IJCAI |
2016 |
DBLP BibTeX RDF |
|
15 | Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cerná |
LTL Parameter Synthesis of Parametric Timed Automata. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge |
LTL Model Checking under Fairness in ProB. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Sylvain Hallé, Maxime Soucy-Boivin |
MapReduce for parallel trace validation of LTL properties. |
J. Cloud Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn |
Monitoring Bounded LTL Properties Using Interval Analysis. |
NSV |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 |
Model checking LTL properties over ANSI-C programs with bounded traces. |
Softw. Syst. Model. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Norihiro Kamide |
Embedding theorems for LTL and its variants. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cheng-Chang Lin, Shwu-Chiou Lee |
Zone pricing for time-definite LTL freight transportation with elastic demand. |
Comput. Oper. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini |
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. |
Tech. Sci. Informatiques |
2015 |
DBLP DOI BibTeX RDF |
|
15 | E. V. Kuzmin 0001, Valery A. Sokolov, D. A. Ryabukhin |
Construction and verification of PLC-programs by LTL-specification. |
Autom. Control. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Maximilien Colange, Dimitri Racordon, Didier Buchs |
A CEGAR-like Approach for Cost LTL Bounds. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn |
Monitoring Bounded LTL Properties Using Interval Analysis. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Alexander Kartzow, Thomas Weidner |
Model Checking Constraint LTL over Trees. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Vojtech Forejt, Jan Krcál, Jan Kretínský |
Controller synthesis for MDPs and Frequency LTL$\setminus$GU. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Martin Zimmermann 0002 |
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL. |
GandALF |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Martin Lück, Arne Meier |
LTL Fragments are Hard for Standard Parameterisations. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Martin Zimmermann 0002 |
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version). |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Vojtech Forejt, Jan Krcál |
On Frequency LTL in Probabilistic Systems. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi |
SAT-based Explicit LTL Reasoning. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Normann Decker, Daniel Thoma |
On Freeze LTL with Ordered Attributes. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Martin Suda 0001 |
Variable and Clause Elimination for LTL Satisfiability Checking. |
Math. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Norihiro Kamide |
Interpolation theorems for some variants of LTL. |
Reports Math. Log. |
2015 |
DBLP BibTeX RDF |
|
15 | Lai-Xiang Shan, Xiaomin Du, Zheng Qin |
Efficient approach of translating LTL formulae into Büchi automata. |
Frontiers Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Meng Guo 0002, Dimos V. Dimarogonas |
Multi-agent plan reconfiguration under local LTL specifications. |
Int. J. Robotics Res. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Marius Kloetzer, Cristian Mahulea |
LTL-Based Planning in Environments With Probabilistic Observations. |
IEEE Trans Autom. Sci. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier |
Taming past LTL and flat counter systems. |
Inf. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Shota Nakagawa, Ichiro Hasuo |
Near-Optimal Scheduling for LTL with Future Discounting. |
TGC |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Vojtech Forejt, Jan Krcál, Jan Kretínský |
Controller Synthesis for MDPs and Frequency LTL\GU. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski |
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. |
CAV (1) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Okan Örsan Özener |
Solving the Integrated Shipment Routing Problem of a LTL Carrier. |
CTW |
2015 |
DBLP BibTeX RDF |
|