Xueyi Zou

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of proba-bilistic timed automata in which local states are partially visible to an observer or controller. We give a probabilistic temporal logic that can express a(More)
  • 1