Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Active Learning of Abstract System Models from Traces using Model Checking [Extended]

Active Learning of Abstract System Models from Traces using Model Checking [Extended]

Natasha Yogananda Jeppu‚ Tom Melham and Daniel Kroening

Journal
arXiv Computing Research Repository
Month
December
Volume
arXiv:2112.05990 [cs.FL]
Year
2021

Links

See Also

Back to Top