- Record: found
- Abstract: not found
- Book Chapter: not found
Adaptive Instructional Systems. Adaptation Strategies and Methods : Third International Conference, AIS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II
Discrete-Time Rewards Model-Checked
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Article: not found
Model-checking algorithms for continuous-time markov chains
Paul Baier, Elizabeth B Haverkort, H Hermanns … (2003)
- Record: found
- Abstract: not found
- Book Chapter: not found
Verifying continuous time Markov chains
Adnan Aziz, Kumud Sanwal, Vigyan Singhal … (1996)