Goal specification using temporal logic in presence of non-deterministic actions. Baral, C. and Barry, M.
bibtex   
@article{baralgoal,
  title={Goal specification using temporal logic in presence of non-deterministic actions},
  author={Baral, Chitta and Barry, Matt}
}
Downloads: 0