Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-017-9413-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2617250276
@@ Property / OpenAlex ID: W2617250276 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
+Normal rank
@@ Property / cites work @@
+Introduction to stochastic control theory
@@ Property / cites work: Introduction to stochastic control theory / rank @@
+Normal rank
@@ Property / cites work @@
+Branching and bounds tighteningtechniques for non-convex MINLP
+Normal rank
@@ Property / cites work @@
+Stochastic Hybrid Systems
@@ Property / cites work: Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4881152
@@ Property / cites work: Q4881152 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints
+Normal rank
@@ Property / cites work @@
+A survey of motion planning algorithms from the perspective of autonomous UAV guidance
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Chance Constrained Programming with Joint Constraints
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Q3434961
@@ Property / cites work: Q3434961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126752
@@ Property / cites work: Q3126752 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive synthesis from signal temporal logic specifications
+Normal rank
@@ Property / cites work @@
+A stochastic reach-avoid problem with random obstacles
+Normal rank
@@ Property / cites work @@
+Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
+Normal rank