CESAR: Control Envelope Synthesis via Angelic Refinements

Kabra, Aditi ; Laurent, Jonathan ¹; Mitsch, Stefan; Platzer, André

¹
¹ Karlsruher Institut für Technologie (KIT)

Verlagsausgabe

DOI: 10.5445/IR/1000173516

Veröffentlicht am 24.09.2024

Originalveröffentlichung
DOI: 10.1007/978-3-031-57246-3_9

Scopus
Zitationen: 1

Dimensions
Zitationen: 4

Seitenaufrufe: 30
seit 19.08.2024

Downloads: 6
seit 28.09.2024

Zugehörige Institution(en) am KIT	Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	2024
Sprache	Englisch
Identifikator	ISBN: 978-3-031-57245-6 ISSN: 0302-9743 KITopen-ID: 1000173516
HGF-Programm	46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in	Tools and Algorithms for the Construction and Analysis of Systems. Proceedings., Part 1. Ed.: B. Finkbeiner
Veranstaltung	European Joint Conferences on Theory and Practice of Software (ETAPS 2024), Stadt Luxemburg, Luxemburg, 06.04.2024 – 11.04.2024
Verlag	Springer Nature Switzerland
Seiten	144–164
Serie	Lecture Notes in Computer Science ; 14570
Vorab online veröffentlicht am	04.04.2024
Nachgewiesen in	Scopus Dimensions