11 search results - page 3 / 3 » Nondeterministic Labeled Markov Processes: Bisimulations and... |
106
Voted
VMCAI
2010
Springer
15 years 6 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...