Environment-Independent Task Specifications via GLTL

@article{Littman2017EnvironmentIndependentTS,
  title={Environment-Independent Task Specifications via GLTL},
  author={Michael L. Littman and Ufuk Topcu and Jie Fu and Charles Lee Isbell and Min Wen and James MacGlashan},
  journal={CoRR},
  year={2017},
  volume={abs/1704.04341}
}
We propose a new task-specification language for Markov decision processes that is designed to be an improvement over reward functions by being environment independent. The language is a variant of Linear Temporal Logic (LTL) that is extended to probabilistic specifications in a way that permits approximations to be learned in finite time. We provide several small environments that demonstrate the advantages of our geometric LTL (GLTL) language and illustrate how it can be used to specify… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 6 times over the past 90 days. VIEW TWEETS
11 Citations
29 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 29 references

Similar Papers

Loading similar papers…