The Wittgenstein Prize
Project Period: 2019-07-01 – 2024-06-30
Externally Funded
Principal Investigator
Herbert Edelsbrunner
Department(s)
Edelsbrunner Group
Grant Number
Z00342
Funding Organisation
FWF
1 Publication
2019 | Conference Paper | IST-REx-ID: 6493 
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View
| Files available
| DOI
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.