2016workshop

Planning in Dynamic Environments Through Temporal Logic Monitoring

Bardh Hoxha, Georgios Fainekos

AAAI Workshop: Planning for Hybrid Systems

Topics: Optimal Planning and Safe Control; Runtime Verification and Monitoring

Citation

@inproceedings{hoxha2016planning,
  title = {Planning in Dynamic Environments Through Temporal Logic Monitoring},
  author = {Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {AAAI Workshop: Planning for Hybrid Systems},
  volume = {16},
  pages = {12},
  year = {2016},
  url = {http://www.bhoxha.com/papers/PlanHS16.pdf},
  keywords = {Optimal Planning and Safe Control, Runtime Verification and Monitoring}
}