Probabilistic Reachability for Parametric Markov Models
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Model repair for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Probabilistic model checking of the PDGF signaling pathway
Transactions on Computational Systems Biology XIV
An extension of the inverse method to probabilistic timed automata
Formal Methods in System Design
Hi-index | 0.00 |
Real-life cyber-physical systems, such as automotive vehicles, building automation systems, and groups of unmanned vehicles are monitored and controlled by networked control systems. The overall system dynamics emerges from the interaction among physical ...