Formal Language Constraints for Markov Decision Processes

Eleanor Quint, Dong Xu, Samuel Flint +2

In order to satisfy safety conditions, an agent may be constrained from acting freely. A safe controller can be designed a priori if an environment is well understood, but not when…