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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 64-71, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Marco Montali, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
Evaluating compliance: from LTL to abductive logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015., pp. 101-116, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Xiaoning Du 0001, Yang Liu 0003, Alwen Tiu |
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, pp. 231-247, 2015, Springer, 978-3-319-19248-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ala-Eddine Ben Salem |
Single-Pass Testing Automata for LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 563-576, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jana Tumova, Dimos V. Dimarogonas |
Decomposition of multi-agent planning under distributed motion and task LTL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 7448-7453, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan |
LtlNfBa: Making LTL Translation More Practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers, pp. 179-194, 2015, Springer, 978-3-319-31219-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Kais Klai, Hanen Ochi |
LTL Model Cheking of Service-Based Business Processes in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015, pp. 398-403, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ingo Pill, Thomas Quaritsch, Franz Wotawa |
Parse tree structure in LTL requirements diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015, pp. 100-107, 2015, IEEE Computer Society, 978-1-5090-1944-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Menna Mostafa, Borzoo Bonakdarpour |
Decentralized Runtime Verification of LTL Specifications in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015, pp. 494-503, 2015, IEEE Computer Society, 978-1-4799-8649-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ala-Eddine Ben Salem, Mohamed Graiet |
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 20-29, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Shahar Maoz, Jan Oliver Ringert |
GR(1) synthesis for LTL specification patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, pp. 96-106, 2015, ACM, 978-1-4503-3675-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Norihiro Kamide |
Inconsistency and Sequentiality in LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., pp. 46-54, 2015, SciTePress, 978-989-758-074-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Clare Cini, Adrian Francalanza |
An LTL Proof System for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 581-595, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 643-657, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Dileep Kini, Mahesh Viswanathan 0001 |
Limit Deterministic and Probabilistic Automata for LTL ∖ GU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 628-642, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Shufang Zhu 0001, Geguang Pu, Moshe Y. Vardi |
SAT-Based Explicit LTL Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 209-224, 2015, Springer, 978-3-319-26286-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Fall Symposia ![In: 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, pp. 54-55, 2015, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Martin Lück, Arne Meier |
LTL Fragments are Hard for Standard Parameterisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015, pp. 59-68, 2015, IEEE Computer Society, 978-1-4673-9317-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Vojtech Forejt, Jan Krcál |
On Frequency LTL in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, pp. 184-197, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-91-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ala-Eddine Ben Salem |
Extending Testing Automata to All LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, pp. 196-210, 2015, Springer, 978-3-319-19194-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Caroline Lemieux, Ivan Beschastnikh |
Investigating Program Behavior Using the Texada LTL Specifications Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, pp. 870-875, 2015, IEEE Computer Society, 978-1-5090-0025-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Caroline Lemieux, Dennis Park, Ivan Beschastnikh |
General LTL Specification Mining (T). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, pp. 81-92, 2015, IEEE Computer Society, 978-1-5090-0025-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001 |
Efficient Scalable Verification of LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, pp. 711-721, 2015, IEEE Computer Society, 978-1-4799-1934-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Salomé Simon, Gabriele Röger |
Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel., pp. 113-121, 2015, AAAI Press, 978-1-57735-732-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Lacerda, David Parker 0001, Nick Hawes |
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1587-1593, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Jorge Torres, Jorge A. Baier |
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1696-1703, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Giuseppe De Giacomo, Moshe Y. Vardi |
Synthesis for LTL and LDL on Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 1558-1564, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin |
LTL is closed under topological closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(8), pp. 408-413, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Xu Chu Ding, Mircea Lazar, Calin Belta |
LTL receding horizon control for finite deterministic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 50(2), pp. 399-408, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 16(1), pp. 31-48, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 48(7), pp. 424-436, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Shota Nakagawa, Ichiro Hasuo |
Near-Optimal Scheduler Synthesis for LTL with Future Discounting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4950, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.1836, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Souymodip Chakraborty, Joost-Pieter Katoen |
Parametric LTL on Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.6683, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
Managing LTL properties in Event-B refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.6622, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5677, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský |
From LTL to Deterministic Automata: A Safraless Compositional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.3388, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Jana Tumova, Dimos V. Dimarogonas |
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.4174, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná |
LTL Model Checking of Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.3696, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Shaull Almagor, Udi Boker, Orna Kupferman |
Discounting in LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.4249, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara |
An LTL Semantics of Business Workflows with Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.1395, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister |
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.2239, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 12(4), pp. 522-557, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Marcel Lippmann |
Runtime verification using the temporal description logic ALC-LTL revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 12(4), pp. 584-613, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Duret-Lutz |
LTL translation improvements in Spot 1.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 5(1/2), pp. 31-54, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2014, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | René Neumann |
Using Promela in a Fully Verified Executable LTL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, pp. 105-114, 2014, Springer, 978-3-319-12153-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
Verifying LTL Properties of Hybrid Systems with K-Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 424-440, 2014, Springer, 978-3-319-08866-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza, Jan Kretínský |
From LTL to Deterministic Automata: A Safraless Compositional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 192-208, 2014, Springer, 978-3-319-08866-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 364-379, 2014, Springer, 978-3-319-11736-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 413-429, 2014, Springer, 978-3-319-11736-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini |
An LTL Model Checking Approach for Biological Parameter Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, pp. 155-170, 2014, Springer, 978-3-319-11736-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 4304-4309, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014, Chicago, IL, USA, September 14-18, 2014, pp. 1511-1516, 2014, IEEE, 978-1-4799-6931-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014, Chicago, IL, USA, September 14-18, 2014, pp. 1525-1532, 2014, IEEE, 978-1-4799-6931-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jana Tumova, Alejandro Marzinotto, Dimos V. Dimarogonas, Danica Kragic |
Maximally satisfying LTL action planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014, Chicago, IL, USA, September 14-18, 2014, pp. 1503-1510, 2014, IEEE, 978-1-4799-6931-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná |
On Clock-Aware LTL Properties of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 43-60, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Rangoli Sharan, Joel W. Burdick |
Finite state control of POMDPs with LTL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014, pp. 501-508, 2014, IEEE, 978-1-4799-3272-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jana Tumova, Dimos V. Dimarogonas |
A receding horizon approach to multi-agent planning from local LTL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014, pp. 1775-1780, 2014, IEEE, 978-1-4799-3272-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zuzana Komárková, Jan Kretínský |
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pp. 235-241, 2014, Springer, 978-3-319-11935-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Shaull Almagor, Orna Kupferman |
Latticed-LTL Synthesis in the Presence of Noisy Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 226-241, 2014, Springer, 978-3-642-54829-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014, pp. 75-80, 2014, IEEE, 978-1-4799-7746-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ryoungkwo Kwon, Gihwon Kwon |
Simulating Synthesized Automata from Decentralized Specifications in LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCC ![In: Frontier and Innovation in Future Computing and Communications, Proceedings of the 2014 FTRA International Symposium on Frontier and Innovation in Future Computing and Communications, FCC 2014, Auckland, New Zealand, January 13-16, 2014, pp. 431-437, 2014, Springer, 978-94-017-8797-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Petr Bauch, Vojtech Havel, Jiri Barnat |
LTL Model Checking of LLVM Bitcode with Symbolic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers, pp. 47-59, 2014, Springer, 978-3-319-14895-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christian Colombo 0001, Yliès Falcone |
Organising LTL Monitors over Distributed Systems with a Global Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, pp. 140-155, 2014, Springer, 978-3-319-11163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings, pp. 1-17, 2014, Springer, 978-3-319-10171-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 731-734, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali |
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 1027-1033, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 369-374, 2014, IOS Press, 978-1-61499-418-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Goré |
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pp. 26-45, 2014, Springer, 978-3-319-08586-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
Managing LTL Properties in Event-B Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, pp. 221-237, 2014, Springer, 978-3-319-10180-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Zarrieß, Jens Claßen |
On the Decidability of Verifying LTL Properties of Golog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposia ![In: 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Ming Chai, Bernd-Holger Schlingloff |
Online Monitoring of Distributed Systems with a Five-Valued LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 226-231, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Shaull Almagor, Udi Boker, Orna Kupferman |
Discounting in LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, pp. 424-439, 2014, Springer, 978-3-642-54861-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alfons Laarman, Anton Wijs |
Partial-Order Reduction for Multi-core LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, pp. 267-283, 2014, Springer, 978-3-319-13337-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara |
An LTL Semantics of BusinessWorkflows with Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT PT ![In: ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014, pp. 29-40, 2014, SciTePress, 978-989-758-037-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel |
Averaging in LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pp. 266-280, 2014, Springer, 978-3-662-44583-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Souymodip Chakraborty, Joost-Pieter Katoen |
Parametric LTL on Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, pp. 207-221, 2014, Springer, 978-3-662-44601-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Dileep Kini, Mahesh Viswanathan 0001 |
Probabilistic Automata for Safety LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, pp. 118-136, 2014, Springer, 978-3-642-54012-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Grgur Petric Maretic, Mohammad Torabi Dashti, David A. Basin |
Anchored LTL separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 74:1-74:9, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pp. 21-32, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang 0017 |
Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, pp. 82-89, 2014, IEEE Computer Society, 978-1-4799-5029-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sentot Kromodimoeljo |
Controlling the Generation of Multiple Counterexamples in LTL Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
DOI RDF |
|
15 | J. Fabian Meier, Uwe Clausen |
Strategic planning in LTL logistics - increasing the capacity utilization of trucks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 41, pp. 37-44, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 203(1), pp. 235-254, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 40(3), pp. 691-702, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Martin Zimmermann 0002 |
Optimal bounds in parametric LTL games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 493, pp. 30-45, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2013, pp. 962765:1-962765:24, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi |
Falsification of LTL safety properties in hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 15(4), pp. 305-320, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Exploiting structure in LTL synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 15(5-6), pp. 541-561, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 39(8), pp. 1069-1089, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Marco Comini, Laura Titolo, Alicia Villanueva |
Towards an Effective Decision Procedure for LTL formulas with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1308.4171, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.4636, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Chih-Hong Cheng, Edward A. Lee |
Numerical LTL Synthesis for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.3722, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Viktor Schuppan |
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013., pp. 49-65, 2013. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.5281, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Jana Tumova, Luis I. Reyes Castro, Sertac Karaman, Emilio Frazzoli, Daniela Rus |
Minimum-violation LTL Planning with Conflicting Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.3679, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Martin Suda 0001 |
Variable and clause elimination for LTL satisfiability checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.5539, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
The Complexity of Clausal Fragments of LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.5088, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.1602, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|