Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 4
Results: 11
Approximate planning and verification for large Markov decision processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 457, doi. 10.1007/s10009-014-0344-z
- By:
- Publication type:
- Article
Statistical model checking for biological applications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 527, doi. 10.1007/s10009-014-0343-0
- By:
- Publication type:
- Article
Sound statistical model checking for MDP using partial order and confluence reduction.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 429, doi. 10.1007/s10009-014-0349-7
- By:
- Publication type:
- Article
Modelling and statistical model checking of a microgrid.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 537, doi. 10.1007/s10009-014-0345-y
- By:
- Publication type:
- Article
On hypothesis testing for statistical model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 377, doi. 10.1007/s10009-014-0350-1
- By:
- Publication type:
- Article
Uppaal SMC tutorial.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 397, doi. 10.1007/s10009-014-0361-y
- By:
- Publication type:
- Article
Smart sampling for lightweight verification of Markov decision processes.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 469, doi. 10.1007/s10009-015-0383-0
- By:
- Publication type:
- Article
Statistical model checking for unbounded until formulas.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 417, doi. 10.1007/s10009-015-0368-z
- By:
- Publication type:
- Article
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 505, doi. 10.1007/s10009-015-0370-5
- By:
- Publication type:
- Article
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 485, doi. 10.1007/s10009-014-0329-y
- By:
- Publication type:
- Article
Statistical model checking: challenges and perspectives.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 369, doi. 10.1007/s10009-015-0384-z
- By:
- Publication type:
- Article