Top results
slide 1 quantitative languages krishnendu chatterjee, ucsc laurent doyen, epfl tom henzinger, epfl csl 2008 slide 2 languages l(a) Σ ω a language can be viewed as a…
slide 1 games, times, and probabilities: value iteration in verification and control krishnendu chatterjee tom henzinger slide 2 graph models of systems vertices = states…
slide 1 quantitative verification arindam chakrabarti * krishnendu chatterjee * thomas a. henzinger * orna kupferman ** rupak majumdar *** * uc berkeley ** hebrew university…
slide 1 randomness for free laurent doyen lsv, ens cachan & cnrs joint work with krishnendu chatterjee, hugo gimbert, tom henzinger slide 2 stochastic games on graphs…
expressiveness and closure properties for quantitative languages krishnendu chatterjee, ist austria laurent doyen, ulb belgium tom henzinger, epfl switzerland lics 2009 model-checking…
slide 1logical reliability of interacting real-time tasks krishnendu chatterjee, uc berkeley arkadeb ghosal, uc berkeley thomas a. henzinger, epfl daniel iercan, ”politehnica”…
a survey of stochastic ω-regular games krishnendu chatterjee† thomas a henzinger†‡ † eecs university of california berkeley usa ‡ computer and communication sciences…
slide 1 alpaga a tool for solving parity games with imperfect information dietmar berwanger 1 krishnendu chatterjee 2 martin de wulf 3 laurent doyen 3,4 tom henzinger 4 tacas…
quantitative specifications for verification and synthesis phd thesis author: arjun radhakrishna supervisor: thomas a. henzinger, ist austria, klosterneuburg, austria thesis…
slide 1 stochastic games krishnendu chatterjee cs 294 game theory slide 2 games on components. model interaction between components. games as models of interaction. repeated…
53 efficient parameterized algorithms for data packing∗ krishnendu chatterjee, ist austria, austria amir kafshdar goharshady, ist austria, austria nastaran okati, ferdowsi…
boundedness games krishnendu chatterjee thomas colcombet nathanaël fijalkow florian horn denis kuperberg michał skrzypczak martin zimmermann institute of informatics,…
slide 1 krishnendu chatterjee1 graph games with reachabillity objectives: mixing chess, soccer and poker krishnendu chatterjee 5 th workshop on reachability problems, genova,…
energy parity games laurent doyen lsv, ens cachan & cnrs krishnendu chatterjee ist austria specification properties model “what” verification synthesis system implementation…
on nash equilibria in stochastic games krishnendu chatterjee marcin jurdzi�nski rupak majumdar report no. ucbcsd-3-1281 october 2003 computer science division eecs university…
simplified game of life: algorithms and complexity krishnendu chatterjee institute of science and technology austria rasmus ibsen-jensen university of liverpool united kingdom…
two-player nonzero-sum !-regular games krishnendu chatterjee report no ucbcsd-4-1364 december 2004 computer science division eecs university of california berkeley california…
polynomial invariant generation for non-deterministic recursive programs krishnendu chatterjee ist austria klosterneuburg austria krishnenduchatterjee@istacat hongfei fu…
slide 1 stochastic zero-sum and nonzero-sum -regular games a survey of results krishnendu chatterjee chess review may 11, 2005 slide 2 5/11/05 2 outline 1. stochastic…
slide 1energy and mean-payoff parity markov decision processes laurent doyen lsv, ens cachan & cnrs krishnendu chatterjee ist austria mfcs 2011 slide 2 games for system…