Thomas Flinkow

According to our database, Thomas Flinkow authored at least 2 papers in 2023.

Collaborative distances:

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

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