Bibtex:

@article{jmk2023,
  AUTHOR    = { Jeppu, Natasha Yogananda
                and Melham, Tom
                and Kroening, Daniel },
  TITLE     = { Enhancing Active Model Learning with Equivalence Checking using Simulation Relations },
  YEAR      = { 2023 },
  PAGES     = { 164--197 },
  JOURNAL   = { Formal Methods in System Design (FMSD) },
  VOLUME    = { 61 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.