×

zbMATH — the first resource for mathematics

Etessami, Kousha

Compute Distance To:
Author ID: etessami.kousha Recent zbMATH articles by "Etessami, Kousha"
Published as: Etessami, K.; Etessami, Kousha
Documents Indexed: 55 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 462 times in 316 Documents Cited by Year
On the complexity of Nash equilibria and other fixed points. Zbl 1204.91003
Etessami, Kousha; Yannakakis, Mihalis
44
2010
First-order logic with two variables and unary temporal logic. Zbl 1096.03013
Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas
31
2002
A temporal logic of nested calls and returns. Zbl 1126.68466
Alur, Rajeev; Etessami, Kousha; Madhusudan, P.
30
2004
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. Zbl 1325.68091
Etessami, Kousha; Yannakakis, Mihalis
28
2009
Counting quantifiers, successor relations, and logarithmic space. Zbl 0882.68074
Etessami, Kousha
23
1997
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
21
2008
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. Zbl 1118.68497
Etessami, Kousha; Yannakakis, Mihalis
19
2005
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
19
2001
Recursive Markov decision processes and recursive stochastic games. Zbl 1085.68089
Etessami, Kousha; Yannakakis, Mihalis
16
2005
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
One-counter Markov decision processes. Zbl 1288.90119
Brázdil, T.; Brožek, V.; Etessami, K.; Kučera, A.; Wojtczak, D.
12
2010
An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic. Zbl 1005.03021
Etessami, Kousha; Wilke, Thomas
12
2000
Recursive concurrent stochastic games. Zbl 1133.91317
Etessami, Kousha; Yannakakis, Mihalis
11
2006
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 1079.68050
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
11
2005
Optimizing Büchi automata. Zbl 0999.68113
Etessami, Kousha; Holzmann, Gerard J.
11
2000
One-counter stochastic games. Zbl 1245.68099
Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha
10
2010
Algorithmic verification of recursive probabilistic state machines. Zbl 1087.68054
Etessami, Kousha; Yannakakis, Mihalis
9
2005
Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars. Zbl 1286.68188
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
8
2012
Polynomial time algorithms for branching Markov decision processes and probabilistic min(max) polynomial Bellman equations. Zbl 1272.68458
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
8
2012
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2005
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Model checking of recursive probabilistic systems. Zbl 1351.68159
Etessami, Kousha; Yannakakis, Mihalis
7
2012
The computational complexity of evolutionarily stable strategies. Zbl 1147.91005
Etessami, K.; Lochbihler, A.
7
2008
A hierarchy of polynomial-time computable simulations for automata. Zbl 1012.68121
Etessami, Kousha
7
2002
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
7
2001
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 0986.68049
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
7
2001
Recursive stochastic games with positive rewards. Zbl 1153.91328
Etessami, Kousha; Wojtczak, Dominik; Yannakakis, Mihalis
6
2008
Efficient qualitative analysis of classes of recursive Markov decision processes and simple stochastic games. Zbl 1136.90499
Etessami, Kousha; Yannakakis, Mihalis
6
2006
Recursive Markov decision processes and recursive stochastic games. Zbl 1333.91005
Etessami, Kousha; Yannakakis, Mihalis
5
2015
Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1334.68113
Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín
5
2011
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
5
1999
Upper bounds for Newton’s method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata. Zbl 1426.68177
Stewart, Alistair; Etessami, Kousha; Yannakakis, Mihalis
4
2015
Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes. Zbl 1394.60084
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
4
2015
Recursive concurrent stochastic games. Zbl 1161.68619
Etessami, Kousha; Yannakakis, Mihalis
4
2008
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
4
2007
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Stutter-invariant languages, \(\omega\)-automata, and temporal logic. Zbl 1046.68591
Etessami, Kousha
4
1999
Verifying probabilistic procedural programs. Zbl 1117.68428
Esparza, Javier; Etessami, Kousha
3
2004
Tree canonization and transitive closure. Zbl 1005.03515
Etessami, Kousha; Immerman, Neil
3
2000
Reachability and the power of local ordering. Zbl 0884.68053
Etessami, Kousha; Immerman, Neil
3
1995
Reachability and the power of local ordering. Zbl 0941.68584
Etessami, Kousha; Immerman, Neil
3
1994
The complexity of approximating a trembling hand perfect equilibrium of a multi-player game in strategic form. Zbl 1403.91018
Etessami, Kousha; Hansen, Kristoffer Arnsfelt; Miltersen, Peter Bro; Sørensen, Troels Bjerre
2
2014
A note on a question of Peled and Wilke regarding stutter-invariant LTL. Zbl 1339.68166
Etessami, Kousha
2
2000
A polynomial time algorithm for computing extinction probabilities of multitype branching processes. Zbl 1378.68074
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
1
2017
A note on the complexity of comparing succinctly represented integers, with an application to maximum probability parsing. Zbl 1321.68309
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
1
2014
Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1267.68160
Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín
1
2013
Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Zbl 1078.68004
Etessami, Kousha (ed.); Rajamani, Sriram K. (ed.)
1
2005
Analysis of recursive game graphs using data flow equations. Zbl 1202.68247
Etessami, K.
1
2004
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
1
2003
A polynomial time algorithm for computing extinction probabilities of multitype branching processes. Zbl 1378.68074
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
1
2017
Recursive Markov decision processes and recursive stochastic games. Zbl 1333.91005
Etessami, Kousha; Yannakakis, Mihalis
5
2015
Upper bounds for Newton’s method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata. Zbl 1426.68177
Stewart, Alistair; Etessami, Kousha; Yannakakis, Mihalis
4
2015
Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes. Zbl 1394.60084
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
4
2015
The complexity of approximating a trembling hand perfect equilibrium of a multi-player game in strategic form. Zbl 1403.91018
Etessami, Kousha; Hansen, Kristoffer Arnsfelt; Miltersen, Peter Bro; Sørensen, Troels Bjerre
2
2014
A note on the complexity of comparing succinctly represented integers, with an application to maximum probability parsing. Zbl 1321.68309
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
1
2014
Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1267.68160
Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín
1
2013
Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars. Zbl 1286.68188
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
8
2012
Polynomial time algorithms for branching Markov decision processes and probabilistic min(max) polynomial Bellman equations. Zbl 1272.68458
Etessami, Kousha; Stewart, Alistair; Yannakakis, Mihalis
8
2012
Model checking of recursive probabilistic systems. Zbl 1351.68159
Etessami, Kousha; Yannakakis, Mihalis
7
2012
Approximating the termination value of one-counter MDPs and stochastic games. Zbl 1334.68113
Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín
5
2011
On the complexity of Nash equilibria and other fixed points. Zbl 1204.91003
Etessami, Kousha; Yannakakis, Mihalis
44
2010
One-counter Markov decision processes. Zbl 1288.90119
Brázdil, T.; Brožek, V.; Etessami, K.; Kučera, A.; Wojtczak, D.
12
2010
One-counter stochastic games. Zbl 1245.68099
Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha
10
2010
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. Zbl 1325.68091
Etessami, Kousha; Yannakakis, Mihalis
28
2009
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
21
2008
Multi-objective model checking of Markov decision processes. Zbl 1161.68565
Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis
15
2008
The computational complexity of evolutionarily stable strategies. Zbl 1147.91005
Etessami, K.; Lochbihler, A.
7
2008
Recursive stochastic games with positive rewards. Zbl 1153.91328
Etessami, Kousha; Wojtczak, Dominik; Yannakakis, Mihalis
6
2008
Recursive concurrent stochastic games. Zbl 1161.68619
Etessami, Kousha; Yannakakis, Mihalis
4
2008
Multi-objective model checking of Markov decision processes. Zbl 1186.68286
Etessami, K.; Kwiatkowska, M.; Vardi, M. Y.; Yannakakis, M.
4
2007
Recursive concurrent stochastic games. Zbl 1133.91317
Etessami, Kousha; Yannakakis, Mihalis
11
2006
Efficient qualitative analysis of classes of recursive Markov decision processes and simple stochastic games. Zbl 1136.90499
Etessami, Kousha; Yannakakis, Mihalis
6
2006
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. Zbl 1118.68497
Etessami, Kousha; Yannakakis, Mihalis
19
2005
Recursive Markov decision processes and recursive stochastic games. Zbl 1085.68089
Etessami, Kousha; Yannakakis, Mihalis
16
2005
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 1079.68050
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
11
2005
Algorithmic verification of recursive probabilistic state machines. Zbl 1087.68054
Etessami, Kousha; Yannakakis, Mihalis
9
2005
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2005
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Zbl 1078.68004
Etessami, Kousha (ed.); Rajamani, Sriram K. (ed.)
1
2005
A temporal logic of nested calls and returns. Zbl 1126.68466
Alur, Rajeev; Etessami, Kousha; Madhusudan, P.
30
2004
Verifying probabilistic procedural programs. Zbl 1117.68428
Esparza, Javier; Etessami, Kousha
3
2004
Analysis of recursive game graphs using data flow equations. Zbl 1202.68247
Etessami, K.
1
2004
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
1
2003
First-order logic with two variables and unary temporal logic. Zbl 1096.03013
Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas
31
2002
A hierarchy of polynomial-time computable simulations for automata. Zbl 1012.68121
Etessami, Kousha
7
2002
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
19
2001
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
7
2001
Fair simulation relations, parity games, and state space reduction for Büchi automata. Zbl 0986.68049
Etessami, Kousha; Wilke, Thomas; Schuller, Rebecca A.
7
2001
An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic. Zbl 1005.03021
Etessami, Kousha; Wilke, Thomas
12
2000
Optimizing Büchi automata. Zbl 0999.68113
Etessami, Kousha; Holzmann, Gerard J.
11
2000
Tree canonization and transitive closure. Zbl 1005.03515
Etessami, Kousha; Immerman, Neil
3
2000
A note on a question of Peled and Wilke regarding stutter-invariant LTL. Zbl 1339.68166
Etessami, Kousha
2
2000
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
5
1999
Stutter-invariant languages, \(\omega\)-automata, and temporal logic. Zbl 1046.68591
Etessami, Kousha
4
1999
Counting quantifiers, successor relations, and logarithmic space. Zbl 0882.68074
Etessami, Kousha
23
1997
Reachability and the power of local ordering. Zbl 0884.68053
Etessami, Kousha; Immerman, Neil
3
1995
Reachability and the power of local ordering. Zbl 0941.68584
Etessami, Kousha; Immerman, Neil
3
1994
all top 5

Cited by 537 Authors

14 Kucera, Antonin
13 Brázdil, Tomáš
13 Etessami, Kousha
12 Chatterjee, Krishnendu
10 Kiefer, Stefan
10 Libkin, Leonid O.
9 La Torre, Salvatore
9 Yannakakis, Mihalis
8 Bozzelli, Laura
7 Brožek, Václav
7 Esparza, Javier
7 Forejt, Vojtěch
6 Baier, Christel
5 Bollig, Benedikt
5 Hansen, Kristoffer Arnsfelt
5 Kupferman, Orna
5 Kwiatkowska, Marta Z.
5 Mehta, Ruta
5 Stewart, Alistair
5 Worrell, James B.
5 Zimmermann, Martín G.
4 Arenas, Marcelo
4 Benedikt, Michael A.
4 Fearnley, John
4 Gurov, Dilian
4 Henzinger, Thomas A.
4 Huisman, Marieke
4 Ibsen-Jensen, Rasmus
4 Katoen, Joost-Pieter
4 Mandrioli, Dino
4 Pradella, Matteo
4 Spirakis, Paul G.
4 Strejček, Jan
4 Vazirani, Vijay V.
4 Wojtczak, Dominik
3 Abdulla, Parosh Aziz
3 Allender, Eric W.
3 Barceló, Pablo
3 Bro Miltersen, Peter
3 Charatonik, Witold
3 Dasgupta, Pallab
3 Datta, Samir
3 de Alfaro, Luca
3 Deligkas, Argyrios
3 Demri, Stéphane P.
3 Doyen, Laurent
3 Duan, Zhenhua
3 Finkbeiner, Bernd
3 Garg, Jugal
3 Gastin, Paul
3 Genest, Blaise
3 Goldberg, Paul W.
3 Köbler, Johannes
3 Kuhnert, Sebastian
3 Kuske, Dietrich
3 Larsen, Kim Guldstrand
3 Luttenberger, Michael
3 Montanari, Angelo
3 Murano, Aniello
3 Napoli, Margherita
3 Norman, Gethin
3 Pandya, Paritosh K.
3 Schnoebelen, Philippe
3 ten Cate, Balder David
3 Tian, Cong
3 Vardi, Moshe Y.
3 Wong, Limsoon
3 Zeitoun, Marc
2 Alur, Rajeev
2 Arvind, Vikraman
2 Avni, Guy
2 Bilò, Vittorio
2 Bresolin, Davide
2 Bultan, Tevfik
2 Bulychev, Peter E.
2 Chen, Xi
2 Chen, Yu-Fang
2 Clemente, Lorenzo
2 Cloth, Lucia
2 Conitzer, Vincent
2 Dal Lago, Ugo
2 Das, Bireswar
2 Della Monica, Dario
2 Deutch, Daniel
2 Diekert, Volker
2 Dixit, Manoj G.
2 Dubslaff, Clemens
2 Göller, Stefan
2 Grellois, Charles
2 Hasuo, Ichiro
2 Haverkort, Boudewijn R.
2 Hella, Lauri T.
2 Jančar, Petr
2 Jobstmann, Barbara
2 Junges, Sebastian
2 Kamide, Norihiro
2 Kieroński, Emanuel
2 Klein, Joachim
2 Křetínský, Mojmír
2 Kufleitner, Manfred
...and 437 more Authors
all top 5

Cited in 52 Serials

43 Theoretical Computer Science
39 Information and Computation
20 Journal of Computer and System Sciences
12 Information Processing Letters
12 Theory of Computing Systems
11 Formal Methods in System Design
9 Logical Methods in Computer Science
8 Acta Informatica
5 Formal Aspects of Computing
5 ACM Transactions on Computational Logic
4 SIAM Journal on Computing
4 Journal of Automated Reasoning
4 The Journal of Logic and Algebraic Programming
4 Computer Science Review
3 Mathematics of Operations Research
3 Annals of Pure and Applied Logic
3 Algorithmica
3 Games and Economic Behavior
3 Journal of the ACM
3 Journal of Applied Logic
3 Journal of Logical and Algebraic Methods in Programming
2 Artificial Intelligence
2 Studia Logica
2 Journal of Symbolic Computation
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 International Journal of Foundations of Computer Science
2 Journal of Applied Non-Classical Logics
1 Mathematics of Computation
1 Information Sciences
1 International Journal of Game Theory
1 Journal of Economic Theory
1 Journal of Mathematical Psychology
1 The Journal of Symbolic Logic
1 Programming and Computer Software
1 Synthese
1 Mathematical and Computer Modelling
1 Machine Learning
1 Discrete Event Dynamic Systems
1 Proceedings of the National Academy of Sciences of the United States of America
1 Bulletin of the American Mathematical Society. New Series
1 Economic Theory
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 European Journal of Control
1 Journal of Combinatorial Optimization
1 LMS Journal of Computation and Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computation Theory
1 Game Theory
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences

Citations by Year