@article{baralgoal,
  title={Goal specification using temporal logic in presence of non-deterministic actions},
  author={Baral, Chitta and Barry, Matt}
}