Deep Statistical Model Checking
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
Topics & Concepts
Computer scienceModel checkingArtificial intelligenceAlgorithmFormal Methods in VerificationSoftware Testing and Debugging TechniquesMachine Learning and Algorithms