research
∙
09/13/2023
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
In this work, we consider the problem of autonomous exploration in searc...
share
research
∙
09/03/2023
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
In this paper, we present an approach for designing correct-by-design co...
research
∙
06/05/2023
Risk-Aware Reward Shaping of Reinforcement Learning Agents for Autonomous Driving
Reinforcement learning (RL) is an effective approach to motion planning ...
research
∙
04/14/2023
Bayesian Approach to Temporal Logic Control of Uncertain Systems
This paper addresses the problem of data-driven computation of controlle...
research
∙
04/01/2023
Automated Formation Control Synthesis from Temporal Logic Specifications
In this paper, we propose a novel framework using formal methods to synt...
research
∙
10/15/2022
Correct-by-Design Control of Parametric Stochastic Systems
This paper addresses the problem of computing controllers that are corre...
research
∙
09/20/2022
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
This work presents a step towards utilizing incrementally-improving symb...
research
∙
08/17/2020
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration
In addition to conventional ground rovers, the Mars 2020 mission will se...
research
∙
12/20/2017