44 citations · 45 across the 4 of their papers we have counts for
5 papers
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini +3
Developing trustworthy multi-agent systems for practical applications is challenging due to the complicated communication of situational awareness (SA) among agents. This paper sho…
Correct-by-Design Control of Parametric Stochastic Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
This paper addresses the problem of computing controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requirements. We deve…
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
This work presents a step towards utilizing incrementally-improving symbolic perception knowledge of the robot's surroundings for provably correct reactive control synthesis applie…
Where to Map? Iterative Rover-Copter Path Planning for Mars Exploration
Takahiro Sasaki, Kyohei Otsu, Rohan Thakker +2
In addition to conventional ground rovers, the Mars 2020 mission will send a helicopter to Mars. The copter's high-resolution data helps the rover to identify small hazards such as…
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
Sofie Haesaert, Sadegh Soudjani
Discrete-time stochastic systems are an essential modelling tool for many engineering systems. We consider stochastic control systems that are evolving over continuous spaces. For…