Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Giuseppe De Giacomo, Antonio Di Stasio 0001, Moshe Y. Vardi, Shufang Zhu 0001 |
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. |
KR |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rüdiger Ehlers, Ivan Gavran, Daniel Neider |
Learning Properties in LTL ∩ ACTL from Positive Examples Only. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
Reactive Synthesis from Extended Bounded Response LTL Specifications. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Aashish Agarwal, Torsten Zesch |
LTL-UDE at Low-Resource Speech-to-Text Shared Task: Investigating Mozilla DeepSpeech in a low-resource setting. |
SwissText/KONVENS |
2020 |
DBLP BibTeX RDF |
|
15 | Weijun Zhu, Huanmei Wu, Miaolei Deng |
LTL Model Checking Based on Binary Classification of Machine Learning. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Shufang Zhu 0001, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi |
SAT-based explicit LTL reasoning and its application to satisfiability checking. |
Formal Methods Syst. Des. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Pierre-Jean Meyer, Dimos V. Dimarogonas |
Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems. |
IEEE Trans. Autom. Control. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001 |
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. |
ACM Trans. Embed. Comput. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Normann Decker, Anton Pirogov |
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Jan Kretínský, Alexander Manta 0001, Tobias Meggendorfer |
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Weijun Zhu, Mingliang Xu |
Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Michael Luttenberger, Philipp J. Meyer, Salomon Sickert |
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games. |
CoRR |
2019 |
DBLP 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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah |
Decentralized Runtime Verification for LTL Properties Using Global Clock. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Frantisek Blahoudek, Juraj Major, Jan Strejcek |
LTL to Smaller Self-Loop Alternating Automata and Back. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Tayssir Touili, Xin Ye 0007 |
LTL Model Checking of Self Modifying Code. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
15 | Benedikt Bollig, Karin Quaas, Arnaud Sangnier |
The Complexity of Flat Freeze LTL. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Benedikt Seidl, Salomon Sickert |
A Compositional and Unified Translation of LTL into ω-Automata. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
15 | Huangpan Zhang, Michael Wojatzki, Tobias Horsmann, Torsten Zesch |
ltl.uni-due at SemEval-2019 Task 5: Simple but Effective Lexico-Semantic Features for Detecting Hate Speech in Twitter. |
SemEval@NAACL-HLT |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Piush Aggarwal, Tobias Horsmann, Michael Wojatzki, Torsten Zesch |
LTL-UDE at SemEval-2019 Task 6: BERT and Two-Vote Classification for Categorizing Offensiveness. |
SemEval@NAACL-HLT |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia |
RTL bug localization through LTL specification mining (WIP). |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier |
Satisfiability Checking for Mission-Time LTL. |
CAV (2) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Frantisek Blahoudek, Juraj Major, Jan Strejcek |
LTL to Smaller Self-Loop Alternating Automata and Back. |
ICTAC |
2019 |
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. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001 |
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. |
SPIN |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Liren Yang, Necmiye Ozay |
Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. |
HSCC |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková |
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Alexander Manta 0001, Tobias Meggendorfer |
Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. |
ATVA |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Khaled Khebbeb, Nabil Hameurlain, Faiza Belala |
Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. |
MEDI Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Havelund, Doron Peled |
An Extension of LTL with Rules and Its Application to Runtime Verification. |
RV |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nicolai Schützenmeier, Martin Käppel, Sebastian Petter, Stefan Schönig, Stefan Jablonski |
Detection of Declarative Process Constraints in LTL Formulas. |
EOMAS@CAiSE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano |
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
15 | Luca Geatti, Nicola Gigante, Angelo Montanari |
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Heinz Riener |
Exact Synthesis of LTL Properties from Traces. |
FDL |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Rosa María Ortega-Mendoza, Delia Irazú Hernández Farías, Manuel Montes-y-Gómez |
LTL-INAOE's Participation at eRisk 2019: Detecting Anorexia in Social Media through Shared Personal Information. |
CLEF (Working Notes) |
2019 |
DBLP BibTeX RDF |
|
15 | Julian Brunner 0001, Benedikt Seidl, Salomon Sickert |
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata. |
ITP |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Brunello, Angelo Montanari, Mark Reynolds 0001 |
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. |
TIME |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sergio García 0002, Claudio Menghi, Patrizio Pelliccione |
MAPmAKER: performing multi-robot LTL planning under uncertainty. |
RoSE@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Lefan Zhang, Weijia He, Jesse J. Martinez, Noah Brackenbury, Shan Lu 0001, Blase Ur |
AutoTap: synthesizing and repairing trigger-action programs using LTL properties. |
ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Normann Decker, Anton Pirogov |
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. |
VMCAI |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
Planning under LTL Environment Specifications. |
ICAPS |
2019 |
DBLP BibTeX RDF |
|
15 | Haitao Cheng, Zongmin Ma 0001 |
Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
15 | Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith |
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning. |
IJCAI |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Camacho, Sheila A. McIlraith |
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. |
IJCAI |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tayssir Touili, Xin Ye 0007 |
LTL Model Checking of Self Modifying Code. |
ICECCS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Gregor Behnke, Susanne Biundo |
X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. |
Inteligencia Artif. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali |
Evaluating Compliance: From LTL to Abductive Logic Programming. |
Fundam. Informaticae |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat |
On clock-aware LTL parameter synthesis of timed automata. |
J. Log. Algebraic Methods Program. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Martin Zimmermann 0002 |
Parameterized linear temporal logics meet costs: still not costlier than LTL. |
Acta Informatica |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Valeria Fionda, Gianluigi Greco |
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner. |
J. Artif. Intell. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck |
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001 |
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský, Salomon Sickert |
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Weijun Zhu, ShaoHuan Ban, Yongwen Fan |
Approximate LTL model checking. |
CoRR |
2018 |
DBLP 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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
Finite LTL Synthesis with Environment Assumptions and Quality Measures. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Omar I. Al-Bataineh |
Efficient Decentralized LTL Monitoring Framework Using Tableau Approach. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Brian Paden, Peng Liu, Schuyler Cullen |
Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
15 | Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue |
Causality for General LTL-definable Properties. |
CREST@ETAPS |
2018 |
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. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ingo Pill, Franz Wotawa |
Automated generation of (F)LTL oracles for testing and debugging. |
J. Syst. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Julian Brunner 0001, Peter Lammich |
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. |
J. Autom. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He 0001 |
Accelerating LTL satisfiability checking by SAT solvers. |
J. Log. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Lihui Lei, Jing Wang |
可能性测度下的LTL模型检测并行化研究 (Parallelization of LTL Model Checking Based on Possibility Measure). |
计算机科学 |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Lijun Zhang 0001, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He 0001 |
An explicit transition system construction approach to LTL satisfiability checking. |
Formal Aspects Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rachel Faran, Orna Kupferman |
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems. |
LPAR |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck |
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. |
CAV (1) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler |
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. |
CAV (1) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Martin Sulzmann, Peter Thiemann 0001 |
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. |
DATE |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar |
RERS 2018: CTL, LTL, and Reachability. |
ISoLA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský, Salomon Sickert |
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. |
LICS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Claudio Menghi, Sergio García 0002, Patrizio Pelliccione, Jana Tumova |
Multi-robot LTL Planning Under Uncertainty. |
FM |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Hekmatnejad, Georgios Fainekos |
Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. |
ACC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jaco van de Pol, Jeroen Meijer |
Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin. |
Models, Mindsets, Meta |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Tobias Meggendorfer, Salomon Sickert |
Owl: A Library for ω-Words, Automata, and LTL. |
ATVA |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ami Sakakibara, Toshimitsu Ushio |
Directed Control of Discrete Event Systems with LTL[F] Specifications. |
CDC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Henning Schlüter, Philipp Schillinger, Mathias Bürger |
On the Design of Penalty Structures for Minimum-Violation LTL Motion Planning. |
CDC |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith |
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. |
Canadian AI |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rohit Dureja, Kristin Yvonne Rozier |
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ). |
TACAS (1) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Guillaume Hétier, Hanifa Boucheneb |
On Handling Source Code Positions and Local Variables in LTL Software Model Checking. |
ICSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Lion, Samir Chouali, Farhad Arbab |
Compiling Protocols to Promela and Verifying their LTL Properties. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
15 | Valentin Besnard, Matthias Brun 0001, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy |
Unified LTL Verification and Embedded Execution of UML Models. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Simon Jantsch, Michael Norrish |
Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata. |
ITP |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Adrien Pommellet, Tayssir Touili |
LTL Model-Checking for Communicating Concurrent Programs. |
VECoS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan |
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. |
KR |
2018 |
DBLP BibTeX RDF |
|
15 | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
Finite LTL Synthesis with Environment Assumptions and Quality Measures. |
KR |
2018 |
DBLP BibTeX RDF |
|
15 | Alberto Griggio, Marco Roveri, Stefano Tonetta |
Certifying Proofs for LTL Model Checking. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith |
Finite LTL Synthesis as Planning. |
ICAPS |
2018 |
DBLP BibTeX RDF |
|
15 | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
SynKit: LTL Synthesis as a Service. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
LTL Realizability via Safety and Reachability Games. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith |
Teaching Multiple Tasks to an RL Agent using LTL. |
AAMAS |
2018 |
DBLP BibTeX RDF |
|
15 | Xiao Yang 0008 |
Green hub location-routing problem for LTL transport. (Le problème de localisation de hubs et routage dans le contexte de la logistique verte). |
|
2018 |
RDF |
|
15 | Antonio Di Stasio 0001 |
Reasoning about LTL Synthesis over finite and infinite games. (PDF / PS) |
|
2018 |
RDF |
|
15 | Shaull Almagor, Orna Kupferman |
Latticed-LTL synthesis in the presence of noisy inputs. |
Discret. Event Dyn. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Weiwei Li, Shuanglong Kan, Zhiqiu Huang |
A Better Translation From LTL to Transition-Based Generalized Büchi Automata. |
IEEE Access |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mustapha Bourahla |
LTL transformation modulo positive transitions. |
IET Comput. Digit. Tech. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki |
Safraless LTL synthesis considering maximal realizability. |
Acta Informatica |
2017 |
DBLP DOI BibTeX RDF |
|
15 | D. A. Ryabukhin, E. V. Kuzmin 0001, Valery A. Sokolov |
Construction of CFC-Programs by LTL-Specification. |
Autom. Control. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
15 | David Müller 0001, Salomon Sickert |
LTL to Deterministic Emerson-Lei Automata. |
GandALF |
2017 |
DBLP DOI BibTeX RDF |
|