Model Checking for Sentient Computing: An Axiomatic Approach.

Eleftheria Katsiri, Alan Mycroft

Browse the full MDM paper archive.