@inbook{ferreira-2026-smt, title={SMT-Based Active Learning of Weighted Automata}, ISBN={9783032325266}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-032-32526-6_15}, DOI={10.1007/978-3-032-32526-6_15}, booktitle={Computer Aided Verification}, publisher={Springer Nature Switzerland}, author={Ferreira, Tiago and Batz, Kevin and Silva, Alexandra}, year={2026}, pages={307–330} }