Zavatteri, Matteo

Zavatteri, Matteo  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
An interdisciplinary experimental evaluation on the disjunctive temporal problem 1-gen-2023 Zavatteri, Matteo; Raffaele, Alice; Ostuni, Dario; Rizzi, Romeo
Conditional simple temporal networks with uncertainty and decisions 1-gen-2019 Zavatteri, Matteo; Viganò, Luca
Conditional Simple Temporal Networks with Uncertainty and Resources 1-gen-2019 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 1-gen-2021 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Dynamic controllability of temporal networks with instantaneous reaction 1-gen-2022 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 1-gen-2019 Zavatteri, Matteo; Viganò, Luca
Mining CSTNUDs significant for a set of traces is polynomial 1-gen-2021 Sciavicco, Guido; Zavatteri, Matteo; Villa, Tiziano
Resource Controllability of Business Processes Under Conditional Uncertainty 1-gen-2021 Zavatteri, Matteo; Combi, Carlo; Viganò, Luca