- An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
2025/12/08 by Klaus Jansen, Dirk Nowotka, Jansen, Klaus +7 · 1 voice
Computer Science · Mathematics · #Decision problem #Equivalence (formal languages) #Formal Methods in Verification #Machine Learning and Algorithms #Model-Driven Software Engineering Techniques #Range (aeronautics) #Relational database #Set (abstract data type) #Variable (mathematics) #cs.CC #cs.FL #math.CO
- Recursive Markov Decision Processes and Recursive Stochastic Games
2015/05/06 by Kousha Etessami, Mihalis Yannakakis · 2 citations
Computer Science · Mathematics · #Algorithm #Complexity and Algorithms in Graphs #Computer science #Context (archaeology) #Decidability #Decision problem #Discrete mathematics #Distributed systems and fault tolerance #Formal Methods in Verification #Markov chain #Markov decision process #Markov process #Mathematical economics #Mathematical optimization #Mathematics #Recursion (computer science) #Undecidable problem