Benjamin Aminof
Projektass.(FWF) / PhD
Role
-
PostDoc Researcher
Formal Methods in Systems Engineering, E192-04
Projects
-
Ignorance and Nondeterminism in Planning and Reactive-synthesis
2025 – 2029 / Austrian Science Fund (FWF) -
Formal methods for Realistic Environments in MAS
2019 – 2022 / Austrian Science Fund (FWF)
Publication: 193997