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). |
CoRR |
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. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar, M. Praveen |
Realizability problem for constraint LTL. |
Inf. Comput. |
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✱. |
HSCC |
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✱. |
HSCC |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Luca Geatti, Alessio Mansutti, Angelo Montanari |
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. |
FoSSaCS (2) |
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. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Andoni Rodríguez, César Sánchez 0001 |
Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. |
AAAI |
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. |
TACAS (2) |
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. |
VMCAI (1) |
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). |
FoIKS |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Nathalie Bertrand 0001, Hugo Francon, Nicolas Markey |
Synchronizing words under LTL constraints. |
Inf. Process. Lett. |
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. |
IEEE Robotics Autom. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mingyu Cai, Shaoping Xiao, Zhijun Li 0001, Zhen Kan |
Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hyejin Han, Mohamed Maghenem, Ricardo G. Sanfelice |
Certifying the LTL Formula p Until q in Hybrid Systems. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi |
Little Tricky Logic: Misconceptions in the Understanding of LTL. |
Art Sci. Eng. Program. |
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). |
Int. J. Softw. Tools Technol. Transf. |
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. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Prasita Mukherjee, Haoteng Yin |
OCTAL: Graph Representation Learning for LTL Model Checking. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bombardelli, Stefano Tonetta |
Asynchronous Composition of LTL Properties over Infinite and Finite Traces. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stanly Samuel, Deepak D'Souza, Raghavan Komondoor |
Towards Efficient Controller Synthesis Techniques for Logical LTL Games. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder |
Guessing Winning Policies in LTL Synthesis by Semantic Learning. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Angelos Mavrogiannis, Christoforos I. Mavrogiannis, Yiannis Aloimonos |
Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daqian Shao, Marta Kwiatkowska |
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Josu Oca, Montserrat Hermo, Alexander Bolotov |
Revisiting the specification decomposition for synthesis based on LTL solvers. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Hausmann 0001, Mathieu Lehaut, Nir Piterman |
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eleni Mandrali |
Describing weighted safety with weighted LTL over product ω-valuation monoids. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin |
LTL Reactive Synthesis with a Few Hints. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone |
3vLTL: A Tool to Generate Automata for Three-valued LTL. |
FMAS@iFM |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Eleni Mandrali |
Describing weighted safety with weighted LTL over product omega-valuation monoids. |
Sci. Ann. Comput. Sci. |
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. |
CAV (1) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder |
Guessing Winning Policies in LTL Synthesis by Semantic Learning. |
CAV (1) |
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. |
ICFEM |
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. |
ACC |
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. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi |
From LTL on Process Traces to Finite-state Automata. |
BPM (Demos / Resources Forum) |
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. |
AAAI |
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. |
FMICS |
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. |
GECCO |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni |
Symbolic Model Checking of Relative Safety LTL Properties. |
iFM |
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. |
iFM |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Michaël Cadilhac, Guillermo A. Pérez 0001 |
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. |
TACAS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin |
LTL Reactive Synthesis with a Few Hints. |
TACAS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Luca Geatti, Angelo Montanari, Nicola Saccomanno |
Towards Machine Learning Enhanced LTL Monitoring. |
OVERLAY@AI*IA |
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. |
CoDIT |
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. |
ILP |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stanly Samuel, Deepak D'Souza, Raghavan Komondoor |
Symbolic Fixpoint Algorithms for Logical LTL Games. |
ASE |
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. |
ASE |
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. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase |
Computing All Facts Entailed By An LTL Specification. |
KR |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ioana Hustiu, Marius Kloetzer, Cristian Mahulea |
Extension of a decomposition method for a global LTL specification. |
ETFA |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar, M. Praveen |
Constraint LTL with Remote Access. |
FSTTCS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Umberto Grandi, Emiliano Lorini, Timothy Parker |
Moral Planning Agents with LTL Values. |
IJCAI |
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. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daqian Shao, Marta Kwiatkowska |
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees. |
IJCAI |
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. |
AAMAS |
2023 |
DBLP BibTeX RDF |
|
15 | Ryohei Oura, Toshimitsu Ushio |
Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications. |
IEEE Control. Syst. Lett. |
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. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tayssir Touili, Xin Ye 0007 |
LTL model checking of self modifying code. |
Formal Methods Syst. Des. |
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. |
IEEE Trans. Autom. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Selvaratnam, Michael Cantoni, J. M. Davoren, Iman Shames |
Sampling polynomial trajectories for LTL verification. |
Theor. Comput. Sci. |
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. |
IEEE Trans. Syst. Man Cybern. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Pian Yu, Dimos V. Dimarogonas |
Distributed Motion Coordination for Multirobot Systems Under LTL Specifications. |
IEEE Trans. Robotics |
2022 |
DBLP DOI BibTeX RDF |
|
15 | E. V. Kuzmin 0001 |
LTL-Specification of Counter Machines. |
Autom. Control. Comput. Sci. |
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. |
IEEE Trans. Software Eng. |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Duo Xu, Faramarz Fekri |
Generalizing LTL Instructions via Future Dependent Options. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi |
Little Tricky Logic: Misconceptions in the Understanding of LTL. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Liam O'Connor, Oskar Wickström |
Quickstrom: Property Based Acceptance Testing with LTL Specifications. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ryohei Oura, Toshimitsu Ushio |
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Michaël Cadilhac, Guillermo A. Pérez 0001 |
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Prasita Mukherjee, Haoteng Yin, Susheel Suresh, Tiark Rompf |
OCTAL: Graph Representation Learning for LTL Model Checking. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar, M. Praveen |
Realizability Problem for Constraint LTL. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ashwin Bhaskar |
LTL with Local and Remote Data Constraints. |
CoRR |
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. |
CoRR |
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. |
IEICE Trans. Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier |
Satisfiability checking for Mission-time LTL (MLTL). |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
LTL falsification in infinite-state systems. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki |
Efficient Realizability Checking by Modularization of LTL Specifications. |
Comput. J. |
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. |
VSTTE |
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. |
CAV (1) |
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. |
ICRA |
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. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Samuele Germiniani, Graziano Pravadelli |
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions. |
VLSI-SoC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
Tuning SAT solvers for LTL Model Checking. |
APSEC |
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. |
ICLP Workshops |
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. |
REFSQ |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Liam O'Connor, Oskar Wickström |
Quickstrom: property-based acceptance testing with LTL specifications. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi |
Reasoning about Smart Contracts via LTL Encoding. |
SEBD |
2022 |
DBLP BibTeX RDF |
|
15 | Gianluca Martino, Görschwin Fey |
Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS. |
SMACD |
2022 |
DBLP DOI BibTeX RDF |
|