×

zbMATH — the first resource for mathematics

Poster abstract: Structured reward functions using STL. (English) Zbl 07120168
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 270-271 (2019).
MSC:
68Q45 Formal languages and automata
68Q60 Specification and verification (program logics, model checking, etc.)
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
PDF BibTeX XML Cite
Full Text: DOI