Pages that link to "Item:Q682357"
From MaRDI portal
The following pages link to Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357):
Displaying 7 items.
- Safety and precision of spatial context models for autonomous systems (Q271722) (← links)
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
- Incremental reasoning in probabilistic signal temporal logic (Q2300466) (← links)
- Trajectory planning under environmental uncertainty with finite-sample safety guarantees (Q2665401) (← links)
- A deontic logic analysis of autonomous systems' safety (Q5146393) (← links)
- Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification (Q6067035) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)