( en | de | ru )

 

Disambiguierung von "Kouvaros, Panagiotis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Neural Agents in Non-deterministic Environments.

, , , und . AAMAS, Seite 25-33. International Foundation for Autonomous Agents and Multiagent Systems, (2020)

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.

Panagiotis Kouvaros

Panagiotis Tokmakidis

Panagiotis Vougioukas

Panagiotis Fotilas

Panagiotis Triantafillou

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , und . KR, Seite 757-762. (2023)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , und . KR, Seite 22-32. (2020)Formal Analysis of Neural Network-Based Systems in the Aircraft Domain., , , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 730-740. Springer, (2021)Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts., , , und . IJCAI, Seite 2184-2190. ijcai.org, (2021)Formal Verification of Neural Agents in Non-deterministic Environments., , , und . AAMAS, Seite 25-33. International Foundation for Autonomous Agents and Multiagent Systems, (2020)OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks., , und . SEFM, Volume 13085 von Lecture Notes in Computer Science, Seite 463-480. Springer, (2021)Formal Verification of Open Multi-Agent Systems., , , und . AAMAS, Seite 179-187. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems., , , und . NeSy, Volume 3432 von CEUR Workshop Proceedings, Seite 427. CEUR-WS.org, (2023)Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis., , , , und . AAAI, Seite 3291-3299. AAAI Press, (2020)Towards Formal Verification of Neuro-symbolic Multi-agent Systems.. IJCAI, Seite 7014-7019. ijcai.org, (2023)