11 search results - page 3 / 3 » Nondeterministic Labeled Markov Processes: Bisimulations and... |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...