Panagiotis Kouvaros
Orcid: 0000-0003-2697-0710
According to our database1,
Panagiotis Kouvaros
authored at least 26 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
Auton. Agents Multi Agent Syst., 2022
2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2013
A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.
Proceedings of the IJCAI 2013, 2013
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013