Sofronie-Stokkermans, V., & Marohn, P. (2025). On verification and constraint generation for families of similar hybrid automata.
Chicago Style (17th ed.) CitationSofronie-Stokkermans, Viorica, and Philipp Marohn. On Verification and Constraint Generation for Families of Similar Hybrid Automata. 2025.
MLA (9th ed.) CitationSofronie-Stokkermans, Viorica, and Philipp Marohn. On Verification and Constraint Generation for Families of Similar Hybrid Automata. 2025.
Warning: These citations may not always be 100% accurate.