PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Dixon, Clare"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.

, , , , , , , und . IEEE Trans. Hum. Mach. Syst., 46 (2): 186-196 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Dixon, Clare
Eine Person hinzufügen mit dem Namen Dixon, Clare
 

Weitere Publikationen von Autoren mit dem selben Namen

Probabilistic Model Checking of Ant-Based Positionless Swarming., , und . TAROS, Volume 9716 von Lecture Notes in Computer Science, Seite 127-138. Springer, (2016)Clausal resolution for normal modal logics., und . J. Algorithms, 62 (3-4): 117-134 (2007)Theorem-Proving for Discrete Temporal Logic., und . Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 von Foundations of Artificial Intelligence, Elsevier, (2005)A misuse-based network Intrusion Detection System using Temporal Logic and stream processing., , und . NSS, Seite 1-8. IEEE, (2011)Temporal Resolution: A Breadth-First Search Approach.. TIME, Seite 120-127. IEEE Computer Society, (1996)Temporal Resolution: Removing Irrelevant Information.. TIME, Seite 4-11. IEEE Computer Society, (1997)Clausal Temporal Resolution, , und . CoRR, (1999)Formal Specification and Verification of Autonomous Robotic Systems: A Survey., , , , und . CoRR, (2018)Verification within the KARO Agent Theory., , , , , und . FAABS, Volume 1871 von Lecture Notes in Computer Science, Seite 33-47. Springer, (2000)Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming., , , und . MLDM, Volume 7376 von Lecture Notes in Computer Science, Seite 366-379. Springer, (2012)