Fabian Kresse

2 Publications

Mark all

[2]
2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
Henzinger, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical Systems.” 7th Annual Learning for Dynamics & Control Conference, vol. 283, ML Research Press, 2025, pp. 804–16.
[Published Version] View | Files available | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 20296 | OA
Kresse, Fabian, et al. “Logic Gate Neural Networks Are Good for Verification.” 2nd International Conferenceon Neuro-Symbolic Systems, vol. 288, 26, ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

Grants


2 Publications

Mark all

[2]
2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
Henzinger, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical Systems.” 7th Annual Learning for Dynamics & Control Conference, vol. 283, ML Research Press, 2025, pp. 804–16.
[Published Version] View | Files available | arXiv
 
[1]
2025 | Published | Conference Paper | IST-REx-ID: 20296 | OA
Kresse, Fabian, et al. “Logic Gate Neural Networks Are Good for Verification.” 2nd International Conferenceon Neuro-Symbolic Systems, vol. 288, 26, ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed