BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines
2025 Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolo
Data-aware process models: From soundness checking to repair
2025 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano; Makaj, Aurelo
Model Checking of Optimal LTL and ASAP Properties
2025 Bresolin, D.; Fantinato, F.; Tonetta, S.
Recent results on computable and compositional semantics for hybrid systems
2025 Bresolin, D.; Collins, P.; Geretti, L.; Segala, R.; Villa, T.
A computable and compositional semantics for hybrid systems
2024 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
Automated Synthesis of Certified Neural Networks
2024 Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolo'
Repair of Unsound Data-Aware Process Models
2024 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano
A higher order method for input-affine uncertain systems
2023 Zivanovic Gonzalez, S.; Geretti, L.; Bresolin, D.; Villa, T.; Collins, P.
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty
2023 Bresolin, D.; Zavatteri, M.
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022 Geretti, L.; Collins, P.; Bresolin, D.; Villa, T.
Dynamic Controllability of Temporal Networks via Supervisory Control
2022 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Equivalence checking and intersection of deterministic timed finite state machines
2022 Bresolin, Davide; El-Fakih, Khaled; Villa, Tiziano; Yevtushenko, Nina
Static and dynamic property-preserving updates
2021 Bresolin, D.; Lanese, I.
A computable and compositional semantics for hybrid automata
2020 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Gonzalez, Sanja Živanović
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
2019 Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
Rigorous Continuous Evolution of Uncertain Systems
2019 Geretti, L.; Zivanovic Gonzalez, S.; Collins, P.; Bresolin, D.; Villa, T.
Extracting Interval Temporal Logic Rules: A First Approach
2018 Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido
Formal Verification of Medical CPS
2018 Geraldes, André A.; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; Mattos, Leonardo S.; Villa, Tiziano
Minimizing Deterministic Timed Finite State Machines
2018 Bresolin, Davide; Tvardovskii, Aleksandr; Yevtushenko, Nina; Villa, Tiziano; Gromov, Maxim
On Sub-Propositional Fragments of Modal Logic
2018 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido