Alternating Good-for-MDPs Automata
Attributed to:
Digital navigation of chemical space for function
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-19992-9_19
Publication URI: http://dx.doi.org/10.1007/978-3-031-19992-9_19
Type: Book Chapter
Book Title: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings (2022)
Page Reference: 303-319
ISSN: 16113349 03029743