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   OA
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