Thomas Flinkow

According to our database, Thomas Flinkow authored at least 8 papers between 2023 and 2025.

Collaborative distances:

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

2025

Neural Network Verification for Gliding Drone Control: A Case Study.

Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Thomas Flinkow, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson

CoRR, May, 2025

A Generalised Framework for Property-Driven Machine Learning.

Thomas Flinkow, Marco Casadio, Colin Kessler, Rosemary Monahan, Ekaterina Komendantskaya

CoRR, May, 2025

Comparing differentiable logics for learning with logical constraints.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Sci. Comput. Program., 2025

2024

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report.

Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov, Barak A. Pearlmutter, Rosemary Monahan

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper.

Hao Wu, Thomas Flinkow, Dominique Méry

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Towards Correct-by-Construction Machine-Learnt Models.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024

2023

Comparing Differentiable Logics for Learning Systems: A Research Preview.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023