#ReachabilityAnalysis
Proud of Mehdi's successful PhD presentation 🎓 of his work combining #ReinforcementLearning and #FormalMethods for robots to learn online Automatic Symbolic Goal Abstraction via Reachability Analysis in Hierarchical Reinforcement Learning
📽️ youtu.be/vOjRKN8MFAo
#EmergentSymbols #RobotLearning
Automatic Symbolic Goal Abstraction via ReachabilityAnalysis in Hierarchical Reinforcement Learning
YouTube video by Nguyen Sao Mai
youtu.be
September 3, 2025 at 2:53 PM
A symbolic representation of tasks is key for compositionality. Our goal-conditioned hierarchical #ReinforcementLearning algo STAR learns online a discrete representation of continuous sensorimotor space #ReachabilityAnalysis #ContinualLearning #ICLR2024 @iclr-conf.bsky.social
📽️ youtu.be/H5-ufMj2AE0
Reconciling Spatial and Temporal Abstractions for Goal Representation
YouTube video by Nguyen Sao Mai
youtu.be
May 26, 2025 at 9:45 AM
SanDRA: Safe Large-Language-Model-Based Decision Making for Automated
Vehicles Using Reachability Analysis
Matthias Althoff, Sebastian Illing et al.
Paper
Details
#SafeAutonomousVehicles #LLMDecisionMaking #ReachabilityAnalysis
October 10, 2025 at 4:02 PM
Larry Pesce traded the lab for the forest to remind us: Not every path leads out of the woods.

Finite State’s #ReachabilityAnalysis cuts through CVE noise so you focus on what’s truly exploitable. Book a demo to learn more 👉 t.co/pQpISXVZa9
#IoTSecurity #ProductSecurity t.co/wd7YZtqSBE
July 9, 2025 at 4:37 PM