How is ATL Really Used? Language Feature Use in the ATL Zoo.
Gehan M. K. SelimJames R. CordyJuergen DingelPublished in: MoDELS (2017)
Keyphrases
- alternating time temporal logic
- multi agent systems
- model checking
- temporal logic
- reactive systems
- natural language
- image features
- agent programming
- language learning
- programming language
- real time
- hidden markov models
- feature vectors
- specification language
- english language
- machine learning
- image retrieval
- artificial intelligence
- neural network