Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting by Georgios Kourtis, Ian Pratt-Hartmann

Get full text

An Overview of Verification and Validation Challenges for Inspection Robots by 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 Page, Fabio Papacchini, Matt Webster

Get full text