vix.ing · top · new · best · stats · spec

Klüppelholz, Sascha

  1. Maximizing the Conditional Expected Reward for Reaching the Goal
    2017/01/19 by Christel Baier, Joachim Klein, Baier, Christel +5 · 2 citations
    Computer Science · #D.2.4 #Discrete Mathematics (cs.DM) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #G.3 #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling
  2. Backward Responsibility in Transition Systems Using General Power Indices
    2024/02/02 by Christel Baier, Baier, Christel, Roxane van den Bossche +7 · 2 citations
    Economics, Econometrics and Finance · #Economic Policies and Impacts #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)