( en | de | ru )

 

Disambiguierung von "Paterson, Colin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Parametric Model Checking Using Domain Knowledge.

, , und . IEEE Trans. Software Eng., 47 (6): 1114-1133 (2021)

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.

Ralph Paterson

Maité Colin

Samuel Colin

Hansjoachim Colin

Carmen Colinas Schwarz

 

Weitere Publikationen von Autoren mit dem selben Namen

Inventory models with lateral transshipments: A review., , , und . Eur. J. Oper. Res., 210 (2): 125-136 (2011)Using unstructured data to improve the continuous planning of critical processes involving humans., , , und . SEAMS@ICSE, Seite 25-31. ACM, (2019)Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings., , , , , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 197-212. Springer, (2020)Mitigating Risk in Neural Network Classifiers., , und . SEAA, Seite 370-373. IEEE, (2022)Learning Run-time Safety Monitors for Machine Learning Components., , , , , , und . CoRR, (2024)Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration., , , , , , , und . CoRR, (2021)Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers., , und . AITest, Seite 9-16. IEEE, (2021)Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability., , , , und . KES-IDT, Volume 309 von Smart Innovation, Systems and Technologies, Seite 87-97. Springer, (2022)A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems., , , und . SAFECOMP, Volume 11698 von Lecture Notes in Computer Science, Seite 165-179. Springer, (2019)FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals., , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 540-546. Springer, (2016)