Manuel Mazo Jr.
Technische Universiteit Delft
H-index: 21
Europe-Netherlands
Top articles of Manuel Mazo Jr.
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Data-driven Interval MDP for Robust Control Synthesis | arXiv preprint arXiv:2404.08344 | Rudi Coppola Andrea Peruffo Licio Romao Alessandro Abate Manuel Mazo Jr | 2024/4/12 |
Data-Driven Abstractions for Control Systems | arXiv preprint arXiv:2402.10668 | Rudi Coppola Andrea Peruffo Manuel Mazo Jr | 2024/2/16 |
Computing the average inter-sample time of event-triggered control using quantitative automata | Nonlinear Analysis: Hybrid Systems | Gabriel de Albuquerque Gleizer Manuel Mazo Jr | 2023/2/1 |
A self-guided approach for navigation in a minimalistic foraging robotic swarm | Autonomous Robots | Steven Adams Daniel Jarne Ornia Manuel Mazo Jr | 2023/10 |
From non-punctuality to non-adjacency: A quest for decidability of timed temporal logics with quantifiers | Formal Aspects of Computing | Shankara Narayanan Krishna Khushraj Madnani Manuel Mazo Jr Paritosh Pandya | 2023/6/23 |
Poster: Convex Scenario Optimisation for ReLU Networks | Andrea Peruffo Manuel Mazo Jr | 2023/5/9 | |
Distributionally robust strategy synthesis for switched stochastic systems | Ibon Gracia Dimitris Boskos Luca Laurenti Manuel Mazo Jr | 2023/5/9 | |
Interval markov decision processes with continuous action-spaces | Giannis Delimpaltadakis Morteza Lahijanian Manuel Mazo Jr Luca Laurenti | 2023/5/9 | |
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control | IEEE Transactions on Automatic Control | Giannis Delimpaltadakis Luca Laurenti Manuel Mazo | 2023/11/17 |
Abstracting the traffic of nonlinear event-triggered control systems | IEEE Transactions on Automatic Control | Giannis Delimpaltadakis Manuel Mazo | 2022/8/1 |
Chaos and order in event-triggered control | arXiv preprint arXiv:2201.04462 | Gabriel de Albuquerque Gleizer Manuel Mazo Jr | 2022/1/12 |
Data-driven abstractions with probabilistic guarantees for linear petc systems | IEEE Control Systems Letters | Andrea Peruffo Manuel Mazo | 2022/6/24 |
Event-Based Communication in Distributed Q-Learning | Daniel Jarne Ornia Manuel Mazo | 2022/12/6 | |
A simpler alternative: Minimizing transition systems modulo alternating simulation equivalence | Gabriel de Albuquerque Gleizer Khushraj Madnani Manuel Mazo Jr | 2022/5/4 | |
Data-driven abstractions for verification of deterministic systems | arXiv preprint arXiv:2211.01793 | Rudi Coppola Andrea Peruffo Manuel Mazo Jr | 2022/11/3 |
ETCetera: Beyond event-triggered control | Giannis Delimpaltadakis Gabriel de Albuquerque Gleizer Ivo Van Straalen Manuel Mazo Jr | 2022/5/4 | |
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives | arXiv preprint arXiv:2209.15320 | Daniel Jarne Ornia Licio Romao Lewis Hammond Manuel Mazo Jr Alessandro Abate | 2022/9/30 |
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications | Automatica | Cees Ferdinand Verdier Niklas Kochdumper Matthias Althoff Manuel Mazo Jr | 2022/5/1 |
Robust Event-Driven Interactions in Cooperative Multi-agent Learning | Daniel Jarne Ornia Manuel Mazo Jr | 2022/8/29 | |
Mean field behavior of collaborative multiagent foragers | IEEE Transactions on Robotics | Daniel Jarne Ornia Pedro J Zufiria Manuel Mazo Jr | 2022/3/7 |