Login / Signup
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata.
Maike Schwammberger
Verena Klös
Published in:
FMAS/ASYDE@SEFM (2022)
Keyphrases
</>
artificial intelligence
computer vision
probabilistic model
refinement process