Items where Author, Editor or other role is "De-Bonis-Campbell, Cosmo"

Up a level

Export as ASCII CitationBibTeXCSV For ExcelDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager

Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: K

Number of items: 1.

K

Kouvaros, Panagiotis, Botoeva, Elena, De Bonis-Campbell, Cosmo (2024) Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. . pp. 103-110. IJCAI E-ISBN 978-1-956792-04-1. (doi:10.24963/ijcai.2024/12) (KAR id:112767)

This list was generated on Mon Jan 26 20:05:53 2026 GMT.