Active Inference of EFSMs Without Reset
Attributed to:
CITCoM: Casual Inference for Testing of Computational Models
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-981-99-7584-6_3
Publication URI: http://dx.doi.org/10.1007/978-981-99-7584-6_3
Type: Book Chapter
Book Title: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings (2023)
Page Reference: 29-46