Skip to Main content

Production year

Number of documents


David Chemouil's (and Co-author's) Publications

Computer Science Researcher at ONERA DTIS, Toulouse.

Link to my professional web page:

"Christophe Chareton"    2011   

Conference papers1 document

  • Christophe Chareton, Julien Brunel, David Chemouil. A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. 14th Brazilian Symposium, SBMF 2011, Sep 2011, São Paulo, Brazil. pp.188-203, ⟨10.1007/978-3-642-25032-3_13⟩. ⟨hal-00783715⟩