Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting. - Georgios Kourtis; Ian Pratt-Hartmann (Log. Methods Comput. Sci., 2017)

Path-functional dependencies and the two-variable guarded fragment with counting. - Georgios Kourtis (2017)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 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)

Parameterized verification of leader/follower systems via first-order temporal logic. - Georgios Kourtis; Clare Dixon; Michael Fisher 001; Alexei P. Lisitsa (Formal Methods Syst. Des., 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Correction: Parameterized verification of leader/follower systems via first-order temporal logic. - Georgios Kourtis; Clare Dixon; Michael Fisher 001; Alexei Lisitsa 001 (Formal Methods Syst. Des., 2022)

Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints. - Georgios Kourtis; Clare Dixon; Michael Fisher 001 (IEEE Trans. Software Eng., 2024)

Monodic fragments of probabilistic first-order temporal logic with bounded semantics. - Georgios Kourtis; Clare Dixon; Michael Fisher 001 (Theor. Comput. Sci., 2025)