Rafal Stefanski

According to our database, Rafal Stefanski authored at least 8 papers between 2019 and 2025.

Collaborative distances:

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

2025

A Formally Verified Lightning Network.

Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos

CoRR, March, 2025

Polyregular Model Checking.

Aliaume Lopez, Rafal Stefanski

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Monads, Comonads, and Transducers.

Rafal Stefanski

CoRR, 2024

The single-use restriction for register automata and transducers over infinite alphabets.

Rafal Stefanski

CoRR, 2024

Function Spaces for Orbit-Finite Sets.

Mikolaj Bojanczyk, Lê Thành Dung Nguyên, Rafal Stefanski

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2020

Extensions of ω-Regular Languages.

Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Single-Use Automata and Transducers for Infinite Alphabets.

Mikolaj Bojanczyk, Rafal Stefanski

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

Single use register automata for data words.

Mikolaj Bojanczyk, Rafal Stefanski

CoRR, 2019