Radosław Piórkowski

Tame the Infinite - Simplification Problems for Infinite-State Systems (Oswoić nieskończone - problemy upraszczania dla systemów nieskończenie stanowych)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Oct. 27, 2022

Supervisor

• prof. dr hab. Sławomir Lasota

Assistant supervisor

• dr hab. Wojciech Czerwiński

Reviewers

• dr hab. Jakub Michaliszyn
• prof. Stefan Göller

Documents

• Summary in Polish
• Thesis

Reviews

• Review
• Review