Thomas Flinkow

According to our database, Thomas Flinkow authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

2024

Comparing Differentiable Logics for Learning with Logical Constraints.

Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan

CoRR, 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