Home
About
Service
Plants
Products
Forum
Events
Members
More
I am a from timed automata to stochastic hybrid games - model checking, synthesis, refinement, performance analysis and machine learning expert