Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

Isabella Kaufmann, Kim Guldstrand Larsen, Jiří Srba^*

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 resultater

Afsluttet
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B., Guerrero, J. M. & Raptis, D.
Innovationsfonden
01/01/2015 → 31/12/2020
Projekter: Projekt › Forskning