Hybrid Games with Triggers
Hamarneh, Qais
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2024 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000179199 |
| Erschienen in | Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), Manchester, United Kingdom, November 12, 2024. Ed.: M. Erascu |
| Veranstaltung | 19th International Conference on Integrated Formal Methods (IFM 2024), Manchester, Vereinigtes Königreich, 12.11.2024 |
| Verlag | CEUR-WS |
| Seiten | 7-13 |
| Serie | CEUR Workshop Proceedings ; 3860 |
| Bemerkung zur Veröffentlichung | PhD Symposium at iFM 2024 (iFM-Phd). |
| Nachgewiesen in | Scopus |