MohammadSadegh Mohagheghi

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
Markovian timed automata (MTA) has been proposed as an expressive formalism for specification of realtime properties in Markovian stochastic processes. In this paper, we define bisimulation relation for deterministic MTA. This definition provides a basis for developing effective algorithms for deciding bisimulation relation for such automata.
  • 1