Middlesex UniversityBrowse
Mreasoner Specification Sleeping Scenario.jpg (208.59 kB)
Download file

Mreasoner Specification Sleeping Scenario

Download (208.59 kB)
figure
posted on 17.12.2021, 15:56 by Nawa SakangaNawa Sakanga, Juan Carlos AugustoJuan Carlos Augusto, Lindsey Brodie
Mreasoner Specification Sleeping Scenario. Draft version for testing purposes.

History

Value

normal

AccessType

open

Usage metrics

Middlesex UniversityMiddlesex University

Categories

Keywords

testingformal specificationsautomated reasoningtemporal reasoningArtificial Intelligence and Image Processing not elsewhere classifiedUbiquitous Computing

Licence

CC BY 4.0

Exports