COCO: Kontrolläquivalenz für Cyber-Physische Modelle

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
COCO
 
Project Title (de) Projekttitel (de)
COCO: Kontrolläquivalenz für Cyber-Physische Modelle
 
Project Title (en) Projekttitel (en)
COCO: Control Equivalence for Cyber-Physical Models
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
M2393-N32
 

Publications

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cardelli, Luca ; Grosu, Radu ; Larsen, Kim Guldstrand ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea Algorithmic Minimization of Uncertain Continuous-Time Markov ChainsArticle Artikel 1-Nov-2023