Ensuring safety in real-world robotic systems is often challenging due t...
Uncertainties arising in various control systems, such as robots that ar...
Recent trends envisage robots being deployed in areas deemed dangerous t...
We propose a hybrid feedback control law that guarantees both safety and...
Autonomous systems are often required to operate in partially observable...
Designing reliable decision strategies for autonomous urban driving is
c...
We introduce the concept of structured synthesis for Markov decision
pro...