On Verification and Constraint Generation for Families of Similar Hybrid Automata

Lecture notes in computer science 2026 Open access

Read full text

Authors: Viorica Sofronie-Stokkermans, Philipp Marohn

DOI: 10.1007/978-3-032-16855-9_6

Cited by: 0

Fields of Study & Subjects

semigroups and automata theory Formal Methods in Verification Logic programming and type systems