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