Membership-based synthesis of linear hybrid automata

DOI10.1007/978-3-030-25540-4_16OpenAlexW2958210738MaRDI QIDQ6194580

Luka Zeleznik, Miriam García Soto, Thomas A. Henzinger, Christian Schilling

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25540-4_16

zbMATH Keywords

linear hybrid automatonmembership-based synthesis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Synthesis of parametric hybrid automata from time series

This page was built for publication: Membership-based synthesis of linear hybrid automata