受强制性开放获取政策约束的文章 - Panagiotis Kouvaros了解详情
可在其他位置公开访问的文章：20 篇
Efficient Verification of ReLU-based Neural Networks via Dependency Analysis
E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener
Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
强制性开放获取政策： US Department of Defense
Parameterised verification for multi-agent systems
P Kouvaros, A Lomuscio
Artificial Intelligence 234, 152-189, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formal Verification of Neural Agents in Non-deterministic Environments
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
Autonomous Agents and Multi-Agent Systems 36 (1), 1-36, 2022
强制性开放获取政策： US Department of Defense
Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching
P Kouvaros, A Lomuscio
30th International Joint Conference on Artificial Intelligence, 2021
强制性开放获取政策： US Department of Defense
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio
强制性开放获取政策： US Department of Defense, UK Engineering and Physical Sciences Research Council
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.
B Batten, P Kouvaros, A Lomuscio, Y Zheng
IJCAI, 2184-2190, 2021
强制性开放获取政策： US Department of Defense, UK Research & Innovation
Verifying emergent properties of swarms
P Kouvaros, A Lomuscio
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
A counter abstraction technique for the verification of robot swarms
P Kouvaros, A Lomuscio
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.
P Kouvaros, A Lomuscio
IJCAI, 2013-2019, 2013
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formal analysis of neural network-based systems in the aircraft domain
P Kouvaros, T Kyono, F Leofante, A Lomuscio, D Margineantu, ...
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
强制性开放获取政策： US Department of Defense
Verifying Fault-tolerance in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formal verification of opinion formation in swarms
P Kouvaros, A Lomuscio
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Verifying security properties in unbounded multiagent systems
I Boureanu, P Kouvaros, A Lomuscio
Proceedings of the 2016 international conference on autonomous agents …, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, European Commission
Parameterised verification of infinite state multi-agent systems via predicate abstraction
P Kouvaros, A Lomuscio
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Parameterised Verification of Data-aware Multi-agent Systems
F Belardinelli, P Kouvaros, A Lomuscio
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formal verification of a programmable hypersurface
P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides
Formal Methods for Industrial Critical Systems: 23rd International …, 2018
强制性开放获取政策： European Commission
Parameterised model checking for alternating-time temporal logic
P Kouvaros, A Lomuscio
ECAI 2016, 1230-1238, 2016
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Verification of semantic key point detection for aircraft pose estimation
P Kouvaros, F Leofante, B Edwards, C Chung, D Margineantu, ...
Proceedings of the International Conference on Principles of Knowledge …, 2023
强制性开放获取政策： US Department of Defense
Towards Formal Verification of Neuro-symbolic Multi-agent Systems
P Kouvaros
IJCAI, 2023
强制性开放获取政策： US Department of Defense, UK Engineering and Physical Sciences Research Council
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
B Batten, Y Zheng, A De Palma, P Kouvaros, A Lomuscio
ECAI 2024, 2362-2369, 2024
强制性开放获取政策： Agence Nationale de la Recherche, UK Research & Innovation
出版信息和资助信息由计算机程序自动确定