2 papers
cs.LO2024
Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
Bassem Ghorbel, Vinayak S. Prabhu
Researchers have previously proposed augmenting Signal Temporal Logic (STL) with the value freezing operator in order to express engineering properties that cannot be expressed in…
cs.LG2024
Thresholded Lexicographic Ordered Multiobjective Reinforcement Learning
Alperen Tercan, Vinayak S. Prabhu
Lexicographic multi-objective problems, which impose a lexicographic importance order over the objectives, arise in many real-life scenarios. Existing Reinforcement Learning work d…