Download From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach
Queue processing for download document We propose a framework for monitoring and updating, at run-time, the probabilities of temporal properties of stochastic timed automata. Our method is based on Bayesian networks and can be useful in various real-time applications, such as flight control sy
You can start your download in 30 seconds