
Two-Player Game Structures for Generalized Planning and Agent Composition
Author(s) -
Giuseppe De Giacomo,
Paolo Felli,
Fabio Patrizi,
Sebastian Sardiña
Publication year - 2010
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v24i1.7597
Subject(s) - observability , controllability , computer science , model checking , theoretical computer science , composition (language) , mathematics , linguistics , philosophy