Search results for: Federico Mari
Fundamenta Informaticae > 2020 > Vol. 174, nr 3/4 > 283--310
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 5357 - 5364
Information Processing Letters > 2017 > 122 > C > 8-16
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 399-412
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 531-546
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 180-195
Microprocessors and Microsystems > 2016 > 41 > C > 12-28