Skip to content
Siddhant Shrivastava
Letters
Research
Diary
Papers
Talks
Courses
Explainers
About
Research diary
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Safety and verification
❯
papers
papers
29 items under this folder.
16 Oct 2026
Safe Reinforcement Learning via Shielding
paper
formal-methods
rl
runtime-monitoring
16 Oct 2026
A Theory of Timed Automata
paper
formal-methods
runtime-monitoring
16 Oct 2026
Runtime Verification for LTL and TLTL
paper
runtime-monitoring
formal-methods
16 Oct 2026
MemoGuard: An Adaptive Runtime for Guarding Against Memory Traps in Communication-Limited Robot Navigation
paper
long-term
runtime-monitoring
navigation
to-read
16 Oct 2026
Shield Synthesis: Runtime Enforcement for Reactive Systems
paper
formal-methods
runtime-monitoring
16 Oct 2026
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
paper
runtime-monitoring
evaluation
16 Oct 2026
Z3: An Efficient SMT Solver
paper
formal-methods
evaluation
16 Oct 2026
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
paper
runtime-monitoring
formal-methods
aerial
16 Oct 2026
Robust Satisfaction of Temporal Logic over Real-Valued Signals
paper
runtime-monitoring
formal-methods
control
16 Oct 2026
ROSMonitoring: A Runtime Verification Framework for ROS
paper
runtime-monitoring
formal-methods
16 Oct 2026
SAFE: Multitask Failure Detection for Vision-Language-Action Models
paper
failure-recovery
runtime-monitoring
foundation-models
to-read
16 Oct 2026
The Theory of Hybrid Automata
paper
formal-methods
control
16 Oct 2026
Following a Unique Path: A Fast Certifier Applied to Outlier-Robust Pose Registration
paper
slam
formal-methods
to-read
16 Oct 2026
Formal Verification of Probabilistic Swarm Behaviours
paper
formal-methods
swarms
multi-robot
16 Oct 2026
A Brief Account of Runtime Verification
paper
runtime-monitoring
formal-methods
16 Oct 2026
MCMAS: An Open-Source Model Checker for the Verification of Multi-Agent Systems
paper
formal-methods
multi-robot
16 Oct 2026
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
paper
formal-methods
runtime-monitoring
multi-robot
16 Oct 2026
Rethinking World Models for Safety-Critical Embodied Systems
paper
foundation-models
runtime-monitoring
long-term
to-read
16 Oct 2026
RoboChart: modelling and verification of the functional behaviour of robotic applications
paper
formal-methods
runtime-monitoring
16 Oct 2026
FailBench: How Reliable are VLMs at Judging Robot Task Success?
paper
failure-recovery
vlm
benchmarks
to-read
16 Oct 2026
Proactive-reactive detection and mitigation of intermittent faults in robot swarms
paper
swarms
failure-recovery
runtime-monitoring
16 Oct 2026
Detecting and diagnosing faults in autonomous robot swarms with an artificial antibody population model
paper
swarms
failure-recovery
long-term
16 Oct 2026
Hide-and-Seek in Trajectories: Discovering Failure Signals for VLA Runtime Monitoring
paper
failure-recovery
runtime-monitoring
foundation-models
to-read
16 Oct 2026
The Temporal Logic of Programs
paper
formal-methods
runtime-monitoring
16 Oct 2026
Toward Verified Artificial Intelligence
paper
formal-methods
runtime-monitoring
foundation-models
16 Oct 2026
Using simplicity to control complexity
paper
runtime-monitoring
control
failure-recovery
16 Oct 2026
Certifiable Object Pose Estimation: Foundations, Learning Models, and Self-Training
paper
reconstruction
runtime-monitoring
to-read
16 Oct 2026
No Free Checker: A Survey of Verifiers for Robot Policies
paper
runtime-monitoring
evaluation
formal-methods
to-read
16 Oct 2026
Can We Detect Failures Without Failure Data? Uncertainty-Aware Runtime Failure Detection for Imitation Learning Policies
paper
failure-recovery
runtime-monitoring
manipulation
to-read