Alexander Will | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Georgios Bakirtzis
18 publications
Anastasia Mavridou
12 publications
Carl R. Elks
7 publications
Smitha Gautham
3 publications
Ivan Perez
3 publications
Patrick J. Martin
2 publications
Tom Pressburger
1 publication
Athira V. Jayakumar
1 publication

research

∙ 09/28/2022

Monitoring ROS2: from Requirements to Autonomous Robots

Runtime verification (RV) has the potential to enable the safe operation...

0 Ivan Perez, et al. ∙

research

∙ 04/19/2022

STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection

Runtime verification or runtime monitoring equips safety-critical cyber-...

0 Smitha Gautham, et al. ∙