Login / Signup
Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.
Alexei Lapouchnian
Yves Lespérance
Published in:
Conceptual Modeling: Foundations and Applications (2009)
Keyphrases
</>
specification languages
formal specification
multi agent
formal analysis
intelligent agents
mathematical models
decision making
probabilistic model
dynamic environments
neural network
mobile agents
complex systems
model checking
data analysis
knowledge base
static analysis
machine learning