3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.AI2022★ 3 cited
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar +2
Reinforcement learning (RL) is a popular approach for robotic path planning in uncertain environments. However, the control policies trained for an RL agent crucially depend on use…
cs.LO2018
An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu +1
Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems (CPS). By measuring ho…