Towards a Formal Specification of Moral Emotions.

Alexander Pankov Mehdi Dastani

Published in: ESSEM@AAMAS (2015)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
formal methods
reverse engineering
emotion recognition
data abstraction
process algebra
emotional state
concurrent systems
model checker
information technology
real world
software components