Oussama Khlifi

Ph. D. Student

Oussama Khlifi

Saarland University
Chair of Automation and Energy Systems

oussama.khlifi(at)aut.uni-saarland.de

 

Research Interests

  • Modeling and Simulation of Adaptive Probabilistic Discrete Event Systems
  • Formal Verification, Probabilistic Model Checking, Petri Nets
  • Development Algorithms: ZIZO Tool