Layered Reduction for Modal Specification Theories.

Arpit Sharma Joost-Pieter Katoen

Published in: FACS (2013)

Keyphrases

transition systems
theoretical framework
high level
real time
formal specification
real world
machine learning
modal logic
data mining
information systems
decision making
model checking
user defined
reduction method
cognitive psychology