Skip to content
Siddhant Shrivastava
Letters
Research
Diary
Papers
Talks
Courses
Explainers
About
Research diary
Search
Search
Dark mode
Light mode
Reader mode
Explorer
runtime-monitoring
30 items with this tag.
16 Oct 2026
Selective Classification for Deep Neural Networks
paper
evaluation
runtime-monitoring
16 Oct 2026
Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles
paper
evaluation
runtime-monitoring
16 Oct 2026
Discovering Antagonists in Networks of Systems: Robot Deployment
paper
swarms
security
runtime-monitoring
16 Oct 2026
Failure detectors compared
comparison
failure-recovery
runtime-monitoring
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
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
A Brief Account of Runtime Verification
paper
runtime-monitoring
formal-methods
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
Proactive-reactive detection and mitigation of intermittent faults in robot swarms
paper
swarms
failure-recovery
runtime-monitoring
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
16 Oct 2026
INVARLLM: LLM-assisted Physical Invariant Extraction for Cyber-Physical Systems Anomaly Detection
paper
security
llm
runtime-monitoring
16 Oct 2026
Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment Plant
paper
security
runtime-monitoring
16 Oct 2026
Generating invariants using design and data-centric approaches for distributed attack detection
paper
security
runtime-monitoring
16 Oct 2026
Range-Based Multi-Robot Integrity Monitoring Against Cyberattacks and Faults: An Anchor-Free Approach
paper
runtime-monitoring
security
aerial