Sfoglia per Autore
Repair of Unsound Data-Aware Process Models
2024 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty
2023 Bresolin, D.; Zavatteri, M.
A higher order method for input-affine uncertain systems
2023 Zivanovic Gonzalez, S.; Geretti, L.; Bresolin, D.; Villa, T.; Collins, P.
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
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022 Geretti, L.; Collins, P.; Bresolin, D.; Villa, T.
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
On Sub-Propositional Fragments of Modal Logic
2018 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
Minimizing Deterministic Timed Finite State Machines
2018 Bresolin, Davide; Tvardovskii, Aleksandr; Yevtushenko, Nina; Villa, Tiziano; Gromov, Maxim
Formal Verification of Medical CPS
2018 Geraldes, André A.; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; Mattos, Leonardo S.; Villa, Tiziano
Fast(er) reasoning in interval temporal logic
2017 Bresolin, Davide; Munoz-Velasco, Emilio; Sciavicco, Guido
Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
2017 Bresolin, Davide; Jiménez, Fernando; Sánchez, Gracia; Sciavicco, Guido
Parametric formal verification: the robotic paint spraying case study
2017 Geretti, Luca; Muradore, Riccardo; Bresolin, Davide; Fiorini, Paolo; Villa, Tiziano
Most general property-preserving updates
2017 Bresolin, Davide; Lanese, Ivan
Ongoing work on automated verification of noisy nonlinear systems with Ariadne
2017 Geretti, Luca; Bresolin, Davide; Collins, Pieter; Gonzalez, Sanja Zivanovic; Villa, Tiziano
Horn fragments of the Halpern-Shoham interval temporal logic
2017 Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile