Friedrich Kurz

According to our database¹, Friedrich Kurz authored at least 3 papers between 2018 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Formally Verified SAT-Based AI Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2020

Verified SAT-Based AI Planning.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2020

2018

Upper Bounding Diameters of State Spaces of Factored Transition Systems.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018