Schäffeler, Maximilian
- Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025/01/20 by Chatterjee, Krishnendu, Quatmann, Tim, Schäffeler, Maximilian +3 · 2 citations
#Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Formally Verified Approximate Policy Iteration
2024/06/11 by Maximilian Schäffeler, Schäffeler, Maximilian, Mohammad Abdulaziz +1 · 1 citation
Computer Science · #Age of Information Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Optimization and Search Problems