Software Engineering and Formal Methods

Enhancing SMT-based Weighted Model Integration by structure awareness
Spallitta, G.; Masina, G.; Morettin, P.; Passerini, A.; Sebastiani, R. in ARTIFICIAL INTELLIGENCE, v. 328, (2024). - DOI: 10.1016/j.artint.2024.104067

On CNF Conversion for Disjoint SAT Enumeration
Masina, Gabriele; Spallitta, Giuseppe; Sebastiani, Roberto in Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 1501-1516. - (LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS). - ISBN: 978-3-95977-286-0. Proceedings of: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italia, 4th-8th July 2023. - Publication URL . - DOI: 10.4230/lipics.sat.2023.15

Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters
Kherrour, Aya; Robol, Marco; Roveri, Marco; Giorgini, Paolo in Electronic Proceedings in Theoretical Computer Science, 2023. Proceedings of: AREA woekshop, Krakow, Poland, 30th September- 4th October 2023

Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Goyal, Srajan; Griggio, Alberto; Kimblad, Jacob; Tonetta, Stefano in Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Waterloo, Australia: EPTCS, 2023, p. 113-129. - (ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE). Proceedings of: FMAS 2023, Lieden, Netherlands, 15th-16th November, 2023. - Publication URL . - DOI: 10.4204/EPTCS.395.8

SMT-based Weighted Model Integration with Structure Awareness
Spallitta, Giuseppe; Masina, Gabriele; Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto in Proceedings of UAI 2022, SL: SN, 2022. Proceedings of: UAI, Eindhoven, 1-5 August, 2022. - Publication URL