Zavatteri, Matteo
Zavatteri, Matteo
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A Two-Phase Approach to Evaluate and Optimize an Interlibrary Loan Service: The Case Study of Provincia di Brescia
2023 Raffaele, A.; Zavatteri, M.; Bazzoli, F.; Gussago, M.; Rizzi, R.
Access controlled temporal networks
2017 Combi, Carlo; Posenato, Roberto; Vigano', Luca.; Zavatteri, Matteo
An Interdisciplinary Experimental Evaluation on the Disjunctive Temporal Problem
2023 Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo
Automated Synthesis of Certified Neural Networks
2024 Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolo'
Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines
In corso di stampa Zavatteri, Matteo; Bresolin, Davide; Navarin, Nicolo
Complexity of weak, strong and dynamic controllability of CNCUs
2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Conditional simple temporal networks with uncertainty and decisions
2017 Zavatteri, Matteo
Conditional simple temporal networks with uncertainty and decisions
2019 Zavatteri, Matteo; Vigano', Luca
Conditional simple temporal networks with uncertainty and resources
2019 Combi, Carlo; Posenato, Roberto; Vigano', Luca.; Zavatteri, Matteo
Conditional uncertainty in constraint networks
2019 Zavatteri, Matteo; Vigano', Luca
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way
2021 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Constraint networks under conditional uncertainty
2018 Zavatteri, Matteo; Vigano', Luca
Data-aware process models: From soundness checking to repair
2025 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano; Makaj, Aurelo
Dynamic controllability and (J,K)-Resiliency in generalized constraint networks with uncertainty
2020 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Dynamic Controllability of Temporal Networks via Supervisory Control
2022 Zavatteri, Matteo; Bresolin, Davide; Rizzi, Romeo; Villa, Tiziano
Dynamic controllability of temporal networks with instantaneous reaction
2022 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Faster and Better Simple Temporal Problems
2021 Ostuni, Dario; Raffaele, Alice; Rizzi, Romeo; Zavatteri, Matteo
Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
2019 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Vigano', Luca
Incorporating decision nodes into conditional simple temporal networks
2017 Cairo, Massimo; Combi, Carlo; Comin, Carlo; Hunsberger, Luke; Posenato, Roberto; Rizzi, Romeo; Zavatteri, Matteo
Last man standing: Static, decremental and dynamic resiliency via controller synthesis
2019 Zavatteri, Matteo; Vigano', Luca