research
∙
04/28/2023
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis
Providing guarantees on the safe operation of robots against edge cases ...
share
research
∙
02/28/2022
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Autonomous robots typically incorporate complex sensors in their decisio...
research
∙
03/12/2019
Linear Encodings for Polytope Containment Problems
The polytope containment problem is deciding whether a polytope is a con...
research
∙
09/25/2018
Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems
Piecewise affine (PWA) systems are widely used to model highly nonlinear...
research
∙
08/01/2018