Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur |
A Complete Fragment of LTL(EB). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16838, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05386, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar, M. Praveen |
Realizability problem for constraint LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 296, pp. 105126, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel |
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 24:1-24:7, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel |
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 33:1-33:2, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Luca Geatti, Alessio Mansutti, Angelo Montanari |
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS (2) ![In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 95-115, 2024, Springer, 978-3-031-57230-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001 |
A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 21510-21517, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Andoni Rodríguez, César Sánchez 0001 |
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 10679-10686, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Osama 0003, Anton Wijs |
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 23-43, 2024, Springer, 978-3-031-57248-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi |
Model-Guided Synthesis for LTL over Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (1) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I, pp. 186-207, 2024, Springer, 978-3-031-50523-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur |
A Complete Fragment of LTL(EB). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings, pp. 237-255, 2024, Springer, 978-3-031-56939-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Nathalie Bertrand 0001, Hugo Francon, Nicolas Markey |
Synchronizing words under LTL constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 182, pp. 106392, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wataru Hatanaka, Ryota Yamashina, Takamitsu Matsubara |
Reinforcement Learning of Action and Query Policies With LTL Instructions Under Uncertain Event Detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 8(11), pp. 7010-7017, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mingyu Cai, Shaoping Xiao, Zhijun Li 0001, Zhen Kan |
Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(1), pp. 301-316, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice |
Certifying the LTL Formula p Until q in Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(7), pp. 4451-4458, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi |
Little Tricky Logic: Misconceptions in the Understanding of LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Sci. Eng. Program. ![In: Art Sci. Eng. Program. 7(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault |
Go2Pins: a framework for the LTL verification of Go programs (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 25(1), pp. 77-94, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel |
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.16752, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano 0001 |
LTL Synthesis on Infinite-State Arenas defined by Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.09776, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Prasita Mukherjee, Haoteng Yin |
OCTAL: Graph Representation Learning for LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.13474, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.01248, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bombardelli, Stefano Tonetta |
Asynchronous Composition of LTL Properties over Infinite and Finite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.14831, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas |
Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.06000, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001 |
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.12248, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stanly Samuel, Deepak D'Souza, Raghavan Komondoor |
Towards Efficient Controller Synthesis Techniques for Logical LTL Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.02427, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder |
Guessing Winning Policies in LTL Synthesis by Semantic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.15109, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wataru Hatanaka, Ryota Yamashina, Takamitsu Matsubara |
Reinforcement Learning of Action and Query Policies with LTL Instructions under Uncertain Event Detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.02722, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001 |
Policy Synthesis and Reinforcement Learning for Discounted LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.17115, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Angelos Mavrogiannis, Christoforos I. Mavrogiannis, Yiannis Aloimonos |
Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.00163, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daqian Shao, Marta Kwiatkowska |
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.01381, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Josu Oca, Montserrat Hermo, Alexander Bolotov |
Revisiting the specification decomposition for synthesis based on LTL solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.00540, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao, Mircea Lazar, Alessandro Abate, Sofie Haesaert |
Model Reduction of Linear Stochastic Systems with Preservation of sc-LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.05770, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Hausmann 0001, Mathieu Lehaut, Nir Piterman |
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.02793, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eleni Mandrali |
Describing weighted safety with weighted LTL over product ω-valuation monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.00265, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin |
LTL Reactive Synthesis with a Few Hints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.10485, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone |
3vLTL: A Tool to Generate Automata for Three-valued LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 180-187, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zesen Liu, Meng Guo 0002, Zhongkui Li |
Tackling the Curse of Dimensionality in Large-scale Multi-agent LTL Task Planning via Poset Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.11373, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eleni Mandrali |
Describing weighted safety with weighted LTL over product omega-valuation monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 33(2), pp. 93-157, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001 |
Policy Synthesis and Reinforcement Learning for Discounted LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 415-435, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder |
Guessing Winning Policies in LTL Synthesis by Semantic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, pp. 390-414, 2023, Springer, 978-3-031-37705-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li |
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings, pp. 273-278, 2023, Springer, 978-981-99-7583-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kwesi Rutledge, Yuhang Mei, Necmiye Ozay |
Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 3508-3515, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Serenella Cerrito, Valentin Goranko, Sophie Paillocher |
Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 23:1-23:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi |
From LTL on Process Traces to Finite-state Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Demos / Resources Forum) ![In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2023 co-located with 21st International Conference on Business Process Management (BPM 2023), Utrecht, The Netherlands, September 11th to 15th, 2023., pp. 127-131, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Francesco Fuggitti, Tathagata Chakraborti |
NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 16428-16430, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru |
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, pp. 189-204, 2023, Springer, 978-3-031-43680-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez 0001, Nazareno Aguirre, Renzo Degiovanni |
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, pp. 1499-1507, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
Symbolic Model Checking of Relative Safety LTL Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 302-320, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier |
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 279-301, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michaël Cadilhac, Guillermo A. Pérez 0001 |
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, pp. 192-207, 2023, Springer, 978-3-031-30819-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin |
LTL Reactive Synthesis with a Few Hints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, pp. 309-328, 2023, Springer, 978-3-031-30819-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luca Geatti, Angelo Montanari, Nicola Saccomanno |
Towards Machine Learning Enhanced LTL Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023., pp. 13-19, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Pian Yu, Gianmarco Fedeli, Dimos V. Dimarogonas |
Reactive and Human-in-the-Loop Planning and Control of Multi-Robot Systems under LTL Specifications in Dynamic Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023, pp. 1862-1867, 2023, IEEE, 979-8-3503-1140-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo |
Towards ILP-Based LTL f Passive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming - 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings, pp. 30-45, 2023, Springer, 978-3-031-49298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stanly Samuel, Deepak D'Souza, Raghavan Komondoor |
Symbolic Fixpoint Algorithms for Logical LTL Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 698-709, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen |
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1761-1765, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng |
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 1766-1770, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase |
Computing All Facts Entailed By An LTL Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023., pp. 679-689, 2023, 978-1-956792-02-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ioana Hustiu, Marius Kloetzer, Cristian Mahulea |
Extension of a decomposition method for a global LTL specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-3991-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar, M. Praveen |
Constraint LTL with Remote Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India, pp. 41:1-41:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-304-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Umberto Grandi, Emiliano Lorini, Timothy Parker |
Moral Planning Agents with LTL Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 418-426, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 3230-3238, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daqian Shao, Marta Kwiatkowska |
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 4180-4189, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna 0004, Ashutosh Trivedi 0001, Alvaro Velasquez |
LTL-Based Non-Markovian Inverse Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 2857-2859, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Ryohei Oura, Toshimitsu Ushio |
Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2557-2562, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha |
Diagnosability verification using LTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 32(3), pp. 399-433, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tayssir Touili, Xin Ye 0007 |
LTL model checking of self modifying code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 60(2), pp. 195-227, April 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio |
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(12), pp. 6896-6903, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames |
Sampling polynomial trajectories for LTL verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 897, pp. 135-163, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daiying Tian, Hao Fang 0001, Qingkai Yang, Yue Wei |
Decentralized Motion Planning for Multiagent Collaboration Under Coupled LTL Task Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 52(6), pp. 3602-3611, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Pian Yu, Dimos V. Dimarogonas |
Distributed Motion Coordination for Multirobot Systems Under LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 38(2), pp. 1047-1062, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | E. V. Kuzmin 0001 |
LTL-Specification of Counter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 56(7), pp. 711-722, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001, Luciano Baresi |
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 48(4), pp. 1154-1168, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian 0001, Masaki Waga, Kohei Suenaga |
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.03582, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Duo Xu, Faramarz Fekri |
Generalizing LTL Instructions via Future Dependent Options. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.04576, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi |
Little Tricky Logic: Misconceptions in the Understanding of LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01677, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianing Zhao, Keyi Zhu, Xiang Yin 0003, Shaoyuan Li |
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.00268, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Liam O'Connor, Oskar Wickström |
Quickstrom: Property Based Acceptance Testing with LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.11532, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ryohei Oura, Toshimitsu Ushio |
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.04383, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sofia Hustiu, Cristian Mahulea, Marius Kloetzer, Jean-Jacques Lesage |
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.04230, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Michaël Cadilhac, Guillermo A. Pérez 0001 |
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.06079, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf |
OCTAL: Graph Representation Learning for LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.11649, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar, M. Praveen |
Realizability Problem for Constraint LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.06708, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar |
LTL with Local and Remote Data Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.01692, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki |
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.11826, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki |
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 105-D(9), pp. 1620-1623, September 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier |
Satisfiability checking for Mission-time LTL (MLTL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 289(Part), pp. 104923, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
LTL falsification in infinite-state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 289(Part), pp. 104977, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki |
Efficient Realizability Checking by Modularization of LTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 65(10), pp. 2801-2814, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio 0001, Yong Li 0031, Moshe Y. Vardi, Shufang Zhu 0001 |
Compositional Safety LTL Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, pp. 1-19, 2022, Springer, 978-3-031-25802-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian 0001, Masaki Waga, Kohei Suenaga |
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, pp. 447-468, 2022, Springer, 978-3-031-13184-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Eric Hsiung, Hiloni Mehta, Junchi Chu, Xinyu Liu 0014, Roma Patel, Stefanie Tellex, George Konidaris 0001 |
Generalizing to New Domains by Mapping Natural Language to Lifted LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022, pp. 3624-3630, 2022, IEEE, 978-1-7281-9681-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Peng Jin, Yang Wang, Min Zhang 0002 |
Efficient LTL Model Checking of Deep Reinforcement Learning Systems using Policy Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022., pp. 357-362, 2022, KSI Research Inc., 1-891706-54-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Samuele Germiniani, Graziano Pravadelli |
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-9005-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
Tuning SAT solvers for LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022, pp. 259-268, 2022, IEEE, 978-1-6654-5537-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta 0001 |
LTL Model Checking using Coinductive Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshops ![In: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Himaja Cherukuri, Alessio Ferrari 0001, Paola Spoletini |
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings, pp. 79-86, 2022, Springer, 978-3-030-98463-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Liam O'Connor, Oskar Wickström |
Quickstrom: property-based acceptance testing with LTL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp. 1025-1038, 2022, ACM, 978-1-4503-9265-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi |
Reasoning about Smart Contracts via LTL Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19-22, 2022., pp. 309-316, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Gianluca Martino, Görschwin Fey |
Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMACD ![In: 18th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2022, Villasimius, Italy, June 12-15, 2022, pp. 1-4, 2022, IEEE, 978-1-6654-6703-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|