ferreira-2026-smt:
  type: chapter
  title: SMT-Based Active Learning of Weighted Automata
  author:
  - Ferreira, Tiago
  - Batz, Kevin
  - Silva, Alexandra
  date: 2026
  page-range: 307-330
  url: http://dx.doi.org/10.1007/978-3-032-32526-6_15
  serial-number:
    doi: 10.1007/978-3-032-32526-6_15
    isbn: '9783032325266'
    issn: 1611-3349
  parent:
    type: book
    title: Computer Aided Verification
    publisher: Springer Nature Switzerland