Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems

¹; Schwammberger, Maike

¹
¹ Karlsruher Institut für Technologie (KIT)

Verlagsausgabe

DOI: 10.5445/IR/1000182443

Veröffentlicht am 18.06.2025

Originalveröffentlichung
DOI: 10.1145/3716863.3718032

Scopus

Dimensions

Seitenaufrufe: 117
seit 18.06.2025

Downloads: 21
seit 19.06.2025

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Sonderforschungsbereich 1608 – Convide (SFB 1608)
Publikationstyp	Proceedingsbeitrag
Publikationsdatum	06.05.2025
Sprache	Englisch
Identifikator	ISBN: 979-84-00-71504-4 KITopen-ID: 1000182443
Erschienen in	HSCC'25: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control
Veranstaltung	28th ACM International Conference on Hybrid Systems: Computation and Control (2025), Irvine, CA, USA, 06.05.2025 – 09.05.2025
Verlag	Association for Computing Machinery (ACM)
Seiten	1–7
Nachgewiesen in	OpenAlex Dimensions Scopus