Ouldouz Neysari

According to our database, Ouldouz Neysari authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Omega-regular Verification and Control for Distributional Specifications in MDPs.

S. Akshay, Ouldouz Neysari, Dorde Zikelic

CoRR, July, 2025

Omega-Regular Verification and Control for Distributional Specifications in MDPs.

S. Akshay, Ouldouz Neysari, Ðorde Zikelic

Proceedings of the 36th International Conference on Concurrency Theory, 2025