Panagiotis Kouvaros

36 papers A* 15A 8B 2C 2Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	IoUCert: Robustness Verification for Anchor-based Object Detectors. CoRR Benedikt Brückner, Alejandro J. Mercado, Yanghao Zhang, Panagiotis Kouvaros, Alessio Lomuscio
2025	A*	`conf`	Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification. AAAI Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio
2025	A	`conf`	Learning Robust XGBoost Ensembles for Regression Tasks. UAI Atri Vivek Sharma, Panagiotis Kouvaros, Alessio Lomuscio
2024	—	`conf`	Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract). LNSAI@IJCAI Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
2024	A*	`conf`	Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. IJCAI Panagiotis Kouvaros, Elena Botoeva, Cosmo De Bonis-Campbell
2024	A	`conf`	Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. ECAI Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio
2024	J	`jnl`	Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation. CoRR Ben Batten, Yang Zheng, Alessandro De Palma, Panagiotis Kouvaros, Alessio Lomuscio
2023	A*	`conf`	Towards Formal Verification of Neuro-symbolic Multi-agent Systems. IJCAI Panagiotis Kouvaros
2023	A*	`conf`	Verification of Semantic Key Point Detection for Aircraft Pose Estimation. KR Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos D. Margineantu, Alessio Lomuscio
2023	C	`conf`	Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems. NeSy Michael Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2022	J	`jnl`	Formal verification of neural agents in non-deterministic environments. Auton. Agents Multi Agent Syst. Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2021	A*	`conf`	Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. IJCAI Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng
2021	B	`conf`	Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
2021	B	`conf`	OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. SEFM Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio
2021	A*	`conf`	Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2020	A*	`conf`	Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
2020	A	`conf`	Formal Verification of Neural Agents in Non-deterministic Environments. AAMAS Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2020	A*	`conf`	Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. KR Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio
2019	A	`conf`	Formal Verification of Open Multi-Agent Systems. AAMAS Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa
2018	J	`jnl`	Formal Verification of CNN-based Perception Systems. CoRR Panagiotis Kouvaros, Alessio Lomuscio
2018	C	`conf`	Formal Verification of a Programmable Hypersurface. FMICS Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
2018	J	`jnl`	Formal Verification of a Programmable Hypersurface. CoRR Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
2018	A*	`conf`	Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
2017	A*	`conf`	Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio
2017	A*	`conf`	Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction. AAAI Panagiotis Kouvaros, Alessio Lomuscio
2017	A*	`conf`	Verifying Fault-tolerance in Parameterised Multi-Agent Systems. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2016	A	`conf`	Formal Verification of Opinion Formation in Swarms. AAMAS Panagiotis Kouvaros, Alessio Lomuscio
2016	A	`conf`	Parameterised Model Checking for Alternating-Time Temporal Logic. ECAI Panagiotis Kouvaros, Alessio Lomuscio
2016	J	`jnl`	Parameterised verification for multi-agent systems. Artif. Intell. Panagiotis Kouvaros, Alessio Lomuscio
2016	A	`conf`	Verifying Security Properties in Unbounded Multiagent Systems. AAMAS Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
2015	A*	`conf`	A Counter Abstraction Technique for the Verification of Robot Swarms. AAAI Panagiotis Kouvaros, Alessio Lomuscio
2015	—	`—`	Parameterised verification for multi-agent systems. Panagiotis Kouvaros
2015	A*	`conf`	Verifying Emergent Properties of Swarms. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2013	A*	`conf`	A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. IJCAI Panagiotis Kouvaros, Alessio Lomuscio
2013	J	`jnl`	Automatic Verification of Parameterised Interleaved Multi-Agent Systems CoRR Panagiotis Kouvaros, Alessio Lomuscio
2013	A	`conf`	Automatic verification of parameterised multi-agent systems. AAMAS Panagiotis Kouvaros, Alessio Lomuscio