Yang Gao Wissenschaftlicher Mitarbeiter

Yang Gao
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

Verkehr / Safety & Security oriented Design Methods & Processes

News

+49 441 97 22-481

yang.gao(at)offis.de

SEG 12

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Yang Gao

2017

Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017