Andriushchenko, Roman
- Tools at the Frontiers of Quantitative Verification
2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021/01/29 by Roman Andriushchenko, Andriushchenko, Roman, Milan Češka +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- Inductive Synthesis of Finite-State Controllers for POMDPs
2022/03/21 by Andriushchenko, Roman, Ceska, Milan, Junges, Sebastian +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Small Decision Trees for MDPs with Deductive Synthesis
2025/01/17 by Roman Andriushchenko, Andriushchenko, Roman, Milan Češka +5 · 2 citations
Computer Science · #Fuzzy Logic and Control Systems #Logic, Reasoning, and Knowledge #Network Security and Intrusion Detection