1 citations · 1 across the 9 of their papers we have counts for
5 papers · 1 filter
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.…
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
Eric Palanques-Tost, Hanna Krasowski, Murat Arcak +2
Biomolecular Neural Networks (BNNs), artificial neural networks with biologically synthesizable architectures, achieve universal function approximation capabilities beyond simple b…
Learning to Drive by Imitating Surrounding Vehicles
Yasin Sonmez, Hanna Krasowski, Murat Arcak
Imitation learning is a promising approach for training autonomous vehicles (AV) to navigate complex traffic environments by mimicking expert driver behaviors. While existing imita…
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…