Skip to main content

White-Box Self-Programming Mechanisms

Searching for OpenAIRE data...

Publications

High-level Programming via Generalized Planning and LTL Synthesis

Author(s): Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 152-161, ISBN 978-0-9992411-7-2
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/16

Mixed Human-UAV Reinforcement Learning: Literature Review and Open Challenges

Author(s): Nicolò Brandizzi, Damiano Brunori, Alessandro Trapasso, Francesco Frattolillo, Luca Iocchi
Published in: The International Conference on Cognitive Aircraft Systems, 2022
Publisher: IEEE

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces

Author(s): Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
Published in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Publisher: IJCAI

An LP-Based Approach for Goal Recognition as Planning

Author(s): Luısa R. de A. Santos, Felipe Meneguzzi, Ramon Fraga Pereira, Andre G. Pereira
Published in: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021
Publisher: AAAI Press

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

Author(s): Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 227–236
Publisher: IJCAI
DOI: 10.24963/kr.2021/22

Ontology-based explanation of classifiers

Author(s): Federico Croce, Gianluca Cima, Maurizio Lenzerini, Tiziana Catarci
Published in: EDBT/ICDT Workshops, 2020
Publisher: CEUR

Synthesis with Mandatory Stop Actions

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 237–246
Publisher: IJCAI
DOI: 10.24963/kr.2021/23

Equilibrium Design for Concurrent Games

Author(s): Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Published in: 8th International Workshop on Strategic Reasoning, 2020
Publisher: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

ASP-Based Declarative Process Mining

Author(s): Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
Published in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI Press

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

Author(s): Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli
Published in: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Publisher: IJCAI

Ontology Mediated Information Extraction with MASTRO SYSTEM-T

Author(s): Domenico Lembo, Yunyao Li, Lucian Popa, Kun Qian, Federico Maria Scafoglieri
Published in: Proceedings of the International Semantic Web Conference (ISWC) 2020, Demos and Industry Tracks: From Novel Ideas to Industrial Practice 2020: 256-261, 2020
Publisher: Springer

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

Author(s): Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
Published in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Publisher: IJCAI

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

Author(s): Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Published in: Proceedings of the International Conference on Automated Planning and Scheduling, Vol. 30(1), 2020, Page(s) 517-521
Publisher: AAAI

Controller Synthesis for Manufacturing Systems in the Situation Calculus

Author(s): Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardina
Published in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Publisher: IJCAI

Intensional and Extensional Views in DL-Lite Ontologies

Author(s): Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Publisher: IJCAI

Synthesizing strategies under expected and exceptional environment behaviors

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 1674-1680, ISBN 978-0-9992411-6-5
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/232

Enforcing Equilibria in Multi-Agent Systems

Author(s): Giuseppe Perelli
Published in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2020, Page(s) 188–196
Publisher: AAAI

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Author(s): Ramon Fraga Pereira, Andre Grahl Pereira, Frederico Messa, Giuseppe De Giacomo
Published in: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Publisher: AAAI Press

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Author(s): Giuseppe De Giacomo, Marco Favorito
Published in: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), vol. 14, 2021
Publisher: AAAI Press

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability

Author(s): Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 1791–1797
Publisher: IJCAI
DOI: 10.24963/ijcai.2020/248

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 42–51
Publisher: IJCAI
DOI: 10.24963/kr.2021/5

Synthesis of Maximally Permissive Strategies for LTLf Specifications

Author(s): Shufang Zhu, Giuseppe De Giacomo
Published in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Publisher: IJCAI

Act for Your Duties but Maintain Your Rights

Author(s): Shufang Zhu, Giuseppe De Giacomo
Published in: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Publisher: IJCAI

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Author(s): Leonardo Rosa Amado, Ramon Fraga Pereira, Felipe Meneguzzi
Published in: Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 1634–1636, 2021
Publisher: ACM

A Survey on Goal Recognition as Planning

Author(s): Felipe Meneguzzi, Ramon Fraga Pereira
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Publisher: IJCAI

Exploiting Different Levels of Abstractions for Sample Efficient Reinforcement Learning

Author(s): Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Published in: 20th International Conference of the Italian Association for Artificial Intelligence, 2021
Publisher: CEUR

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science

Author(s): Giuseppe De Giacomo, Yves Lespérance
Published in: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, May 2020, 2020, Page(s) 294–302
Publisher: ACM

Ontology mediated information extraction in financial domain with Mastro System-T

Author(s): Domenico Lembo, Yunyao Li, Lucian Popa, Federico Maria Scafoglieri
Published in: Proceedings of the 6th Int. Workshop on Data Science for Macro-Modeling (DSMM 2020), 2020
Publisher: ACM

A Temporal Logic-Based Measurement Framework for Process Mining

Author(s): Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
Published in: 2nd International Conference on Process Mining, 2020
Publisher: IEEE
DOI: 10.1109/icpm49681.2020.00026

Temporal Logic Monitoring Rewards via Transducers

Author(s): Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 860-870, ISBN 978-0-9992411-7-2
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/89

Multi-Model Monitoring Framework for Hybrid Process Specifications

Author(s): Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Published in: Proceedings of the 34th International Conference on Advanced Information Systems Engineering, LNCS 13295, 2022
Publisher: Springer

LTLƒ Synthesis with Fairness and Stability Assumptions

Author(s): Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 34/03, 2020, Page(s) 3088-3095, ISSN 2374-3468
Publisher: AAAI
DOI: 10.1609/aaai.v34i03.5704

Domain-Independent Reward Machines for Modular Integration of Planning and Learning

Author(s): Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi
Published in: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning, 2021
Publisher: AAAI

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 304-314, ISBN 978-0-9992411-7-2
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/31

ElGolog: A High-Level Programming Language with Memory of the Execution History

Author(s): Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 34/03, 2020, Page(s) 2806-2813, ISSN 2374-3468
Publisher: AAAI
DOI: 10.1609/aaai.v34i03.5669

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

Author(s): Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Publisher: IJCAI

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Published in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Publisher: IJCAI

Restraining Bolts for Reinforcement Learning Agents

Author(s): Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 34/09, 2020, Page(s) 13659-13662, ISSN 2374-3468
Publisher: AAAI
DOI: 10.1609/aaai.v34i09.7114

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 4959-4965, ISBN 978-0-9992411-6-5
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/690

On-the-fly Synthesis for LTL over Finite Traces

Author(s): Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu and Moshe Vardi
Published in: Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI), 2021, 2021
Publisher: AAAI PRESS

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Publisher: IJCAI

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Author(s): Giuseppe De Giacomo, Antonio Di Stasio, L. M. Tabajara, Moshe Vardi, Shufang Zhu
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Publisher: IJCAI

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Author(s): Kin Max Gusmao˜, Ramon Fraga Pereira, Felipe Meneguzzi
Published in: Workshop on Scheduling and Planning Applications woRKshop, 2021
Publisher: AAAI Press

On Computational Tractability for Rational Verification

Author(s): Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 329-335, ISBN 978-0-9992411-4-1
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/47

On the Power of Automata Minimization in Temporal Synthesis

Author(s): Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
Published in: GandALF, 2021
Publisher: Electronic Proceedings in Theoretical Computer Science

Extending DL-LiteR TBoxes with View Definitions

Author(s): Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini
Published in: Thirty-Third International Workshop on Description Logics, 2020
Publisher: CEUR

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes

Author(s): Alessandro Ronca , Gabriel Paludo Licks, Giuseppe De Giacomo
Published in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Publisher: IJCAI

The Nondeterministic Situation Calculus

Author(s): Giuseppe De Giacomo, Yves Lesperance
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 216–226, 2021
Publisher: IJCAI
DOI: 10.24963/kr.2021/21

Nondeterministic Strategies and their Refinement in Strategy Logic

Author(s): Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
Published in: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning, 2020, Page(s) 294-303, ISBN 978-0-9992411-7-2
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2020/30

Digital Twins Composition via Markov Decision Processes

Author(s): Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo
Published in: 1st Italian Forum on Business Process Management, 2021
Publisher: CEUR

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.

Author(s): Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Published in: Proceedings of the International Conference on Automated Planning and Scheduling, Vol. 30(1), 2020, Page(s) 20-28
Publisher: AAAI

Learning a Symbolic Planning Domain through the Interaction with Continuous Environments

Author(s): Elena Umili, Emanuele Antonioni, Francesco Riccio, Roberto Capobianco, Daniele Nardi, Giuseppe De Giacomo
Published in: Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning, 2021
Publisher: AAAI Press

Communication-based and Communication-less approaches for Robust Cooperative Planning in Construction with a Team of UAVs

Author(s): Elena Umili, Marco Tognon, Dario Sanalitro, Giuseppe Oriolo, Antonio Franchi
Published in: 2020 International Conference on Unmanned Aircraft Systems (ICUAS), 2020, Page(s) 279-288, ISBN 978-1-7281-4278-4
Publisher: IEEE
DOI: 10.1109/icuas48674.2020.9214044

Efficient PAC Reinforcement Learning in Regular Decision Processes

Author(s): Alessandro Ronca, Giuseppe De Giacomo
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), 2021
Publisher: IJCAI

Behavioral QLTL

Author(s): Giuseppe Perelli, Giuseppe De Giacomo
Published in: ArXiv, 2021
Publisher: ArXiv

Augmented Business Process Management Systems: A Research Manifesto

Author(s): Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
Published in: ArXiv, 2022
Publisher: ArXiv

Mimicking Behaviors in Separated Domains

Author(s): Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Published in: ArXiv, 2022
Publisher: ArXiv

CQE in Description Logics Through Instance Indistinguishability

Author(s): Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
Published in: ArXiv, 2020
Publisher: ArXiv

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Author(s): Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti
Published in: ArXiv, 2022
Publisher: ArXiv

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Author(s): Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo
Published in: ArXiv, 2021
Publisher: ArXiv

A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems

Author(s): Damiano Brunori, Stefania Colonnese, Francesca Cuomo, Luca Iocchi
Published in: ArXiv, 2021
Publisher: ArXiv

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems

Author(s): Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella
Published in: Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement, 12521, 2021, Page(s) 3-15, ISBN 978-3-030-73202-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-73203-5_1

Controlled Query Evaluation in Ontology-Based Data Access

Author(s): Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
Published in: Lecture Notes in Computer Science, volume 12506, 2020
Publisher: Springer
DOI: 10.1007/978-3-030-62419-4_8

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation

Author(s): Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña
Published in: Artificial Intelligence, 2022, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2021.103598

Delivering Resources for Augmented Reality by UAVs: a Reinforcement Learning Approach

Author(s): Damiano Brunori, Stefania Colonnese, Francesca Cuomo, Giovanna Flore, Luca Iocchi
Published in: Frontiers in Communications and Networks, 2021, ISSN 2673-530X
Publisher: Frontiers
DOI: 10.3389/frcmn.2021.709265

Expressiveness and Nash Equilibrium in Iterated Boolean Games

Author(s): Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael Wooldridge
Published in: ACM Transactions on Computational Logic, Volume 22, Issue 2, 2021, Page(s) 1-38, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3439900

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2

Author(s): Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo
Published in: Future Internet, 2022, ISSN 1999-5903
Publisher: MDPI
DOI: 10.3390/fi14030078

Embedding reactive behavior into artifact-centric business process models

Author(s): Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Published in: Future Generation Computer Systems, 117, 2021, Page(s) 97-110, ISSN 0167-739X
Publisher: Elsevier BV
DOI: 10.1016/j.future.2020.11.018

Measuring the interestingness of temporal logic behavioral specifications in process mining

Author(s): Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling
Published in: Information Systems, 2022, ISSN 0306-4379
Publisher: Elsevier Science & Technology
DOI: 10.1016/j.is.2021.101920

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Author(s): Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
Published in: Journal of Artificial Intelligence Research, 70, 2021, Page(s) 1335-1371, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12414

The Delay and Window Size Problems in Rule-Based Stream Reasoning

Author(s): Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks
Published in: Artificial Intelligence, 2022, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2022.103668

Acquiring Ontology Axioms through Mappings to Data Sources

Author(s): Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Published in: Future Internet, 11/12, 2019, Page(s) 260, ISSN 1999-5903
Publisher: MDPI
DOI: 10.3390/fi11120260

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

Author(s): Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Published in: Artificial Intelligence, 287, 2020, Page(s) 103353, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2020.103353

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Author(s): Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali
Published in: ACM Transactions on Software Engineering and Methodology, 2022, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3506799