8 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.RO2024★ 2 cited
Cross--layer Formal Verification of Robotic Systems
Sylvain Raïs, Julien Brunel, David Doose +1
Robotic systems are widely used to interact with humans or to perform critical tasks. As a result, it is imperative to provide guarantees about their behavior. Due to the modularit…
cs.FL2022★ 8 cited
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
Baptiste Pelletier, Charles Lesire, David Doose +2
The need for high-level autonomy and robustness of autonomous systems for missions in dynamic and remote environment has pushed developers to come up with new software architecture…