Login / Signup
Thomas Flinkow
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Classical Logic
Learning Systems
Semantic Analysis
Expressive Power
Top Venues
CoRR
DSN-S
</>
Publications
</>
Thomas Flinkow
,
Barak A. Pearlmutter
,
Rosemary Monahan
Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems.
DSN-S
(2023)
Thomas Flinkow
,
Barak A. Pearlmutter
,
Rosemary Monahan
Comparing Differentiable Logics for Learning Systems: A Research Preview.
CoRR
(2023)