Dominik Safránek

According to our database, Dominik Safránek authored at least 5 papers between 2016 and 2025.

Collaborative distances:

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

2025

Using Planning for Automated Testing of Video Games.

Tomás Balyo, Roman Barták, Lukás Chrpa, Michal Cervenka, Filip Dvorák, Stephan Gocht, Lukás Lipcák, Viktor Macek, Dominik Rohácek, Josef Ryzí, Martin Suda, Dominik Safránek, Slavomír Svancár, G. Michael Youngblood

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2024

Observational entropy with general quantum priors.

Ge Bai, Dominik Safránek, Joseph Schindler, Francesco Buscemi, Valerio Scarani

Quantum, 2024

Learning Planning Action Models from State Traces.

Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Filip Dvorák, Roman Barták, G. Michael Youngblood

CoRR, 2024

Planning Domain Model Acquisition from State Traces without Action Parameters.

Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2016

Gaussian quantum metrology and space-time probes.

Dominik Safránek

PhD thesis, 2016