research
∙
11/03/2022
Data-driven Abstractions for Verification of Deterministic Systems
A common technique to verify complex logic specifications for dynamical ...
share
research
∙
11/02/2022
Interval Markov Decision Processes with Continuous Action-Spaces
Interval Markov Decision Processes (IMDPs) are uncertain Markov models, ...
research
∙
09/30/2022
Observational Robustness and Invariances in Reinforcement Learning via Lexicographic Objectives
Policy robustness in Reinforcement Learning (RL) may not be desirable at...
research
∙
04/07/2022
Robust Event-Driven Interactions in Cooperative Multi-Agent Learning
We present an approach to reduce the communication required between agen...
research
∙
03/10/2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
We employ the scenario approach to compute probably approximately correc...
research
∙
09/03/2021
Event-Based Communication in Distributed Q-Learning
We present an approach to reduce the communication of information needed...
research
∙
07/27/2021
Logics Meet 2-Way 1-Clock Alternating Timed Automata
In this paper, we study the extension of 1-clock Alternating Timed Autom...
research
∙
05/21/2021
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm
We present a biologically inspired design for swarm foraging based on an...
research
∙
05/20/2021
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL...
research
∙
03/13/2021
Mean Field Behaviour of Collaborative Multi-Agent Foragers
Collaborative multi-agent robotic systems where agents coordinate by mod...
research
∙
01/26/2021
The Wireless Control Bus: Enabling Efficient Multi-hop Event-Triggered Control with Concurrent Transmissions
Event-triggered control (ETC) holds the potential to significantly impro...
research
∙
12/06/2018
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming
This paper presents an automatic formal controller synthesis method for ...
research
∙
03/20/2018