2 papers
cs.RO2024
Adaptive Reward Design for Reinforcement Learning
Minjae Kwon, Ingy ElSayed-Aly, Lu Feng
There is a surge of interest in using formal languages such as Linear Temporal Logic (LTL) to precisely and succinctly specify complex tasks and derive reward functions for Reinfor…
cs.LO2023
Distributional Probabilistic Model Checking
Ingy Elsayed-Aly, David Parker, Lu Feng
Probabilistic model checking can provide formal guarantees on the behavior of stochastic models relating to a wide range of quantitative properties, such as runtime, energy consump…