Environment-Independent Task Specifications via GLTL.

Michael L. Littman Ufuk Topcu Jie Fu Charles Lee Isbell Jr.Min Wen James MacGlashan

Published in: CoRR (2017)

Keyphrases

real time
virtual world
formal specification
case study
mobile robot
simulation environment
bayesian networks
source code
requirements specification