Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

On verification and constraint generation for families of similar hybrid automata.

CoRR. Bd. abs/2505.09244. 2025

Erscheinungsjahr: 2025

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.48550/arXiv.2505.09244

Volltext über DOI/URN

Geprüft:Bibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)
Marohn, Philipp (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik