1 citations · 1 across the 9 of their papers we have counts for
4 papers · 1 filter
Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost +2
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…
Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
Elizabeth Dietrich, Hanna Krasowski, Murat Arcak
Reachability analysis evaluates system safety, by identifying the set of states a system may evolve within over a finite time horizon. In contrast to model-based reachability analy…
Importance Sampling for Statistical Certification of Viable Initial Sets
Elizabeth Dietrich, Hanna Krasowski, Vegard Flovik +1
We study the problem of statistically certifying viable initial sets (VISs)---sets of initial conditions whose trajectories satisfy a given control specification. While VISs can be…
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.…