Dr. M. (Manuel) Mazo Espinosa
Dr. M. (Manuel) Mazo Espinosa
Expertise
Publicaties
-
2022
A Simpler Alternative
Minimizing Transition Systems Modulo Alternating Simulation Equivalence
Gabriel De Albuquerque Gleizer / Khushraj Madnani / Manuel Mazo -
2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
Andrea Peruffo / Manuel Mazo
-
2022
ETCetera
Beyond Event-Triggered Control
Giannis Delimpaltadakis / Gabriel De Albuquerque Gleizer / Ivo Van Straalen / Manuel Mazo -
2022
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cees Ferdinand Verdier / Niklas Kochdumper / Matthias Althoff / Manuel Mazo
-
2022-3-7
Mean Field Behavior of Collaborative Multiagent Foragers
Daniel Jarne Ornia / Pedro J. Zufiria / Manuel Mazo
-