Anne-Kathrin Schmuck

1. Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
   2020/07/03 by Rupak Majumdar, Majumdar, Rupak, Anne-Kathrin Schmuck +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Localized Attractor Computations for Infinite-State Games (Full Version)
   2024/05/15 by Anne-Kathrin Schmuck, Schmuck, Anne-Kathrin, Philippe Heim +5 · 2 citations
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Symbolic Control for Stochastic Systems via Finite Parity Games
   2021/01/04 by Rupak Majumdar, Majumdar, Rupak, Kaushik Mallik +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #G.3 #I.1.2 #I.1.4 #Logic in Computer Science (cs.LO) #Software Engineering Research #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Sound Probabilistic Safety Bounds for Large Language Models
   2026/07/22 by Mahdi Nazeri, Anne-Kathrin Schmuck, Sadegh Soudjani +1
   #cs.CL #cs.AI