Skip to content
Siddhant Shrivastava
Letters
Research
Diary
Papers
Talks
Courses
Explainers
About
Research diary
Search
Search
Dark mode
Light mode
Reader mode
Explorer
formal-methods
23 items with this tag.
16 Oct 2026
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
paper
control
formal-methods
16 Oct 2026
The Changing Role of Symbolic Methods in Artificial Intelligence
paper
formal-methods
foundation-models
16 Oct 2026
Optimal Scene Graph Planning with Large Language Model Guidance
paper
scene-graphs
planning
llm
formal-methods
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
Shield Synthesis: Runtime Enforcement for Reactive Systems
paper
formal-methods
runtime-monitoring
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
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
RoboChart: modelling and verification of the functional behaviour of robotic applications
paper
formal-methods
runtime-monitoring
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
No Free Checker: A Survey of Verifiers for Robot Policies
paper
runtime-monitoring
evaluation
formal-methods
to-read
16 Oct 2026
Runtime monitoring
robustness
formal-methods
16 Oct 2026
SCAD: Towards a Universal and Automated Network Side-Channel Vulnerability Detection
paper
security
formal-methods