Georgios Kourtis

According to our database, Georgios Kourtis authored at least 7 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Correction: Parameterized verification of leader/follower systems via first-order temporal logic.

Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa

Formal Methods Syst. Des., April, 2022

2021

An Overview of Verification and Validation Challenges for Inspection Robots.

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster

Robotics, 2021

Parameterized verification of leader/follower systems via first-order temporal logic.

Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa

Formal Methods Syst. Des., 2021

2019

A Rule-Based Approach Founded on Description Logics for Industry 4.0 Smart Factories.

Georgios Kourtis, Evangelia Kavakli, Rizos Sakellariou

IEEE Trans. Ind. Informatics, 2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

2017

Path-functional dependencies and the two-variable guarded fragment with counting.

Georgios Kourtis

PhD thesis, 2017

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting.

Georgios Kourtis, Ian Pratt-Hartmann

Log. Methods Comput. Sci., 2017