Ishan S.
@nahsimai.bsky.social
PhD student, researching how to make Automated systems safer during operation phase!
#FormalMethods #RuntimeMonitoring
#FormalMethods #RuntimeMonitoring
Reposted by Ishan S.
The last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.
November 18, 2025 at 1:09 PM
The last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.
Reposted by Ishan S.
Ishan Saxena presents their paper titled "Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions".
The topic concerns using Scene Graphs to formalize spatial system properties.
The topic concerns using Scene Graphs to formalize spatial system properties.
November 17, 2025 at 12:45 PM
Ishan Saxena presents their paper titled "Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions".
The topic concerns using Scene Graphs to formalize spatial system properties.
The topic concerns using Scene Graphs to formalize spatial system properties.