Poster: Enforcing temporal logic specifications via reinforcement learning

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

doi:10.1145/2728606.2728640

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 proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the 18th International Conference on Hybrid Systems
Subtitle of host publication	Computation and Control, HSCC 2015
Publisher	Association for Computing Machinery
Pages	279-280
Number of pages	2
ISBN (Electronic)	9781450334334
DOIs	https://doi.org/10.1145/2728606.2728640
State	Published - Apr 14 2015
Externally published	Yes
Event	18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015 - Seattle, United States Duration: Apr 14 2015 → Apr 16 2015

Publication series

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

Other

Other	18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015
Country/Territory	United States
City	Seattle
Period	4/14/15 → 4/16/15

Publisher link

10.1145/2728606.2728640

Find It

Find It at U of M Libraries

Cite this

Jones, A., Aksaray, D., Kong, Z., Schwager, M., & Belta, C. (2015). Poster: Enforcing temporal logic specifications via reinforcement learning. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015 (pp. 279-280). (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015). Association for Computing Machinery. https://doi.org/10.1145/2728606.2728640

Poster: Enforcing temporal logic specifications via reinforcement learning. / Jones, Austin; Aksaray, Derya; Kong, Zhaodan et al.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Association for Computing Machinery, 2015. p. 279-280 (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Jones, A, Aksaray, D, Kong, Z, Schwager, M & Belta, C 2015, Poster: Enforcing temporal logic specifications via reinforcement learning. in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, Association for Computing Machinery, pp. 279-280, 18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015, Seattle, United States, 4/14/15. https://doi.org/10.1145/2728606.2728640

Jones A, Aksaray D, Kong Z, Schwager M, Belta C. Poster: Enforcing temporal logic specifications via reinforcement learning. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Association for Computing Machinery. 2015. p. 279-280. (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015). doi: 10.1145/2728606.2728640

Jones, Austin ; Aksaray, Derya ; Kong, Zhaodan et al. / Poster : Enforcing temporal logic specifications via reinforcement learning. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Association for Computing Machinery, 2015. pp. 279-280 (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015).

@inproceedings{6f20f16afd5c428f8e85f8c26ad14951,

title = "Poster: Enforcing temporal logic specifications via reinforcement learning",

author = "Austin Jones and Derya Aksaray and Zhaodan Kong and Mac Schwager and Calin Belta",

year = "2015",

month = apr,

day = "14",

doi = "10.1145/2728606.2728640",

language = "English (US)",

series = "Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015",

publisher = "Association for Computing Machinery",

pages = "279--280",

booktitle = "Proceedings of the 18th International Conference on Hybrid Systems",

note = "18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015 ; Conference date: 14-04-2015 Through 16-04-2015",

}

TY - GEN

T1 - Poster

T2 - 18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2015

AU - Jones, Austin

AU - Aksaray, Derya

AU - Kong, Zhaodan

AU - Schwager, Mac

AU - Belta, Calin

PY - 2015/4/14

Y1 - 2015/4/14

UR - http://www.scopus.com/inward/record.url?scp=84940642571&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84940642571&partnerID=8YFLogxK

U2 - 10.1145/2728606.2728640

DO - 10.1145/2728606.2728640

M3 - Conference contribution

AN - SCOPUS:84940642571

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

SP - 279

EP - 280

BT - Proceedings of the 18th International Conference on Hybrid Systems

PB - Association for Computing Machinery

Y2 - 14 April 2015 through 16 April 2015

ER -

Poster: Enforcing temporal logic specifications via reinforcement learning

Publication series

Other

Publisher link

Find It

Other files and links

Cite this