PRISM: A Tool for Automatic Verification of Probabilistic Systems.

Andrew Hinton Marta Z. Kwiatkowska Gethin Norman David Parker

Published in: TACAS (2006)

Keyphrases

management system
database
databases
multimedia
neural network
machine learning
artificial intelligence
learning environment
intelligent systems
computing systems
systems require