Doğan Ulus

Simulation-based Testing, Runtime Verification, Autonomous Systems, Cyber-Physical Systems, Formal Methods, Automata Theory