Login / Signup
Verifying Normative System Specification containing Collective Imperatives and Deadlines.
Luca Gasparini
Timothy J. Norman
Martin J. Kollingbaum
Liang Chen
John-Jules Ch. Meyer
Published in:
AAMAS (2015)
Keyphrases
</>
model checking
response time
high level
multi agent systems
specification language
formal methods
formal specification
relational databases
collective intelligence
temporal logic
distributed systems
database
expert systems
data structure
metadata
real world
data sets
real time