10 papers
Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study
Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer +4
Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as exi…
Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost +3
Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time serie…
Any-Body Guard: Universal Safeguarding for Manipulation Policies via Action Masking
Alex Beaudin, Hanna Krasowski, Kartik Nagpal +3
Ensuring safety of learning-enabled robotic manipulation across diverse embodiments and tasks still requires significant manual engineering. Existing approaches typically rely on h…
Intelligent Sailing Model for Open Sea Navigation
Hanna Krasowski, Stefan Schärdinger, Murat Arcak +1
Autonomous vessels potentially enhance safety and reliability of seaborne trade. To facilitate the development of autonomous vessels, simulations are required to model realistic in…
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Hanna Krasowski, Elizabeth Dietrich, Emir Cem Gezer +3
Signal Temporal Logic (STL) is an expressive language for specifying behaviors of dynamical systems from continuous signals. However, a limitation of standard STL is its inherently…
Falsification-driven reinforcement learning for maritime motion planning
Marlon Müller, Florian Finkeldei, Hanna Krasowski +2
Compliance with maritime traffic rules is essential for the safe operation of autonomous vessels, yet training reinforcement learning (RL) agents to adhere to them is challenging.…