Holger Hermanns
- What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research
2021/02/15 by Markus Langer, Daniel Oster, Timo Speith +6 · 55 citations
Computer Science · Engineering · Medicine · Social Sciences · #Artificial Intelligence in Healthcare and Education #Artificial intelligence #Computer science #Economics #Engineering #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #Knowledge management #Management #Management science #Perspective (graphical) #Stakeholder
- Probabilistic Bisimulation: Naturally on Distributions
2014/04/21 by Holger Hermanns, Jan Krčál, Hermanns, Holger +3 · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #cs.LO
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision\n Processes
2017/06/21 by Ernst Moritz Hahn, Hahn, Ernst Moritz, Vahid Hashemi +7 · 1 citation
Computer Science · #D.2.4 #Evolutionary Algorithms and Applications #F.1.1 #FOS: Electrical engineering #G.1.6 #G.3 #Numerical Methods and Algorithms #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
- Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
2012/05/02 by Holger Hermanns, Hermanns, Holger, Andrea Turrini +1 · 1 citation
Computer Science · #F.2 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #G.3 #Machine Learning and Algorithms #Software Testing and Debugging Techniques #cs.FL