Safe autonomy under perception uncertainty using chance-constrained temporal logic
From MaRDI portal
Recommendations
- From Uncertainty Data to Robust Policies for Temporal Logic Planning
- Reactive synthesis from signal temporal logic specifications
- Permissive controller synthesis for probabilistic systems
- Incremental reasoning in probabilistic signal temporal logic
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
Cites work
- scientific article; zbMATH DE number 995813 (Why is no real title available?)
- scientific article; zbMATH DE number 2087806 (Why is no real title available?)
- scientific article; zbMATH DE number 893887 (Why is no real title available?)
- scientific article; zbMATH DE number 1444360 (Why is no real title available?)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
- A stochastic approximation method for reachability computations
- A stochastic reach-avoid problem with random obstacles
- A survey of motion planning algorithms from the perspective of autonomous UAV guidance
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Branching and bounds tighteningtechniques for non-convex MINLP
- Chance Constrained Programming with Joint Constraints
- Hybrid Systems: Computation and Control
- Introduction to stochastic control theory
- Logic in Computer Science
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Reactive synthesis from signal temporal logic specifications
- Robust satisfaction of temporal logic over real-valued signals
- Stochastic Hybrid Systems
- Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Cited in
(9)- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
- Safety and precision of spatial context models for autonomous systems
- Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification
- Trajectory planning under environmental uncertainty with finite-sample safety guarantees
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Robust safety control for automated driving systems with perception uncertainties
- A deontic logic analysis of autonomous systems' safety
- Incremental reasoning in probabilistic signal temporal logic
- Perception-aware model predictive control for constrained control in unknown environments
This page was built for publication: Safe autonomy under perception uncertainty using chance-constrained temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q682357)
