2 papers
cs.LO2025
PFL: a Probabilistic Logic for Fault Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are…
cs.RO2024
Autonomous Vehicles Path Planning under Temporal Logic Specifications
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn +1
Path planning is an essential component of autonomous driving. A global planner is responsible for the high-level planning. It basically performs a shortest-path search on a known…