Author of the publication

Ability in a Multi-agent Context: A Model in the Situation Calculus.

, , and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 23-36. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safety Verification of Neural Network Controlled Systems., , , and . CoRR, (2020)A Verified UAV Flight Plan Generator., , , , and . FormaliSE, page 130-140. IEEE, (2023)Ability in a Multi-agent Context: A Model in the Situation Calculus., , and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 23-36. Springer, (2005)Constraint-based Verification of Formation Control., , , , and . CDC, page 7136-7141. IEEE, (2021)Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach., and . ISMIS, volume 2366 of Lecture Notes in Computer Science, page 131-139. Springer, (2002)Strategies for Distributing Goals in a Team of Cooperative Agents., and . ESAW, volume 3451 of Lecture Notes in Computer Science, page 178-190. Springer, (2004)Verification of machine learning based cyber-physical systems: a comparative study., , , , and . HSCC, page 22:1-22:16. ACM, (2022)How to Complete Regulations in Multi-agent Systems., , and . IAT, page 285-288. IEEE Computer Society, (2009)978-0-7695-3801-3.Verifying the Mathematical Library of an UAV Autopilot with Frama-C., , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 167-173. Springer, (2021)Situation awareness and ability in coalitions., , , , and . FUSION, page 1-9. IEEE, (2007)