Poster: Enforcing temporal logic specifications via reinforcement learning

Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations
Original languageEnglish (US)
Title of host publicationProceedings of the 18th International Conference on Hybrid Systems
Subtitle of host publicationComputation and Control, HSCC 2015
PublisherAssociation for Computing Machinery, Inc
Pages279-280
Number of pages2
ISBN (Electronic)9781450334334
DOIs
StatePublished - Apr 14 2015
Externally publishedYes
Event18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015 - Seattle, United States
Duration: Apr 14 2015Apr 16 2015

Publication series

NameProceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015

Other

Other18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015
Country/TerritoryUnited States
CitySeattle
Period4/14/154/16/15

Cite this