39 citations · 63 across the 21 of their papers we have counts for
3 papers · 1 filter
Learning Biomolecular Models using Signal Temporal Logic
Hanna Krasowski, Eric Palanques-Tost, Calin Belta +1
Modeling dynamical biological systems is key for understanding, predicting, and controlling complex biological behaviors. Traditional methods for identifying governing equations, s…
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
Roland Stolz, Hanna Krasowski, Jakob Thumm +3
Continuous action spaces in reinforcement learning (RL) are commonly defined as multidimensional intervals. While intervals usually reflect the action boundaries for tasks well, th…
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
Hanna Krasowski, Matthias Althoff
For safe operation, autonomous vehicles have to obey traffic rules that are set forth in legal documents formulated in natural language. Temporal logic is a suitable concept to for…