Toghrul Karimov

1. Reachability in Dynamical Systems with Rounding
   2020/09/28 by Christel Baier, Florian Funke, Baier, Christel +15 · 1 citation
   Engineering · Computer Science · #Architecture and Computational Design #Artificial Intelligence in Games #Music Technology and Sound Studies
2. On the Decidability of Presburger Arithmetic Expanded with Powers
   2024/07/06 by Toghrul Karimov, Karimov, Toghrul, Florian Luca +7 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Model Checking Markov Chains as Distribution Transformers
   2024/06/21 by Rajab Aghamov, Christel Baier, Aghamov, Rajab +11 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)