Roman Andriushchenko
- Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021/01/29 by Roman Andriushchenko, Milan Češka, Andriushchenko, Roman +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)
- 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