Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Knowledge Compilation for Quantification in Alternating Automata
S. Akshay, Alfredo Cantarella, Supratik Chakraborty +2
We present a knowledge compilation approach for existential and universal quantification in alternating automata. Knowledge compilation transforms formulas into normal forms with s…
cs.LO2025
Omega-regular Verification and Control for Distributional Specifications in MDPs
S. Akshay, Ouldouz Neysari, Đorđe Žikelić
A classical approach to studying Markov decision processes (MDPs) is to view them as state transformers. However, MDPs can also be viewed as distribution transformers, where an MDP…