Tekijähaun tulokset :: UTM Library Massive Scholar Tracking

1

$B\"uchi Complementation and Size-Change Termination$

B\"uchi Complementation and Size-Change Termination Tekijä Seth Fogarty, Moshe Y. Vardi

Julkaistu 2012-02-01

Hae kokoteksti

Artikkeli
2

Synthesis from Probabilistic Components Tekijä Sumit Nain, Yoad Lustig, Moshe Y Vardi

Julkaistu 2014-06-01

Hae kokoteksti

Artikkeli
3

Comparator automata in quantitative verification Tekijä Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Julkaistu 2022-07-01

Hae kokoteksti

Artikkeli
4

Sequential Relational Decomposition Tekijä Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi

Julkaistu 2022-03-01

Hae kokoteksti

Artikkeli
5

Reasoning about Strategies: on the Satisfiability Problem Tekijä Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Julkaistu 2017-03-01

Hae kokoteksti

Artikkeli
6

Multi-Objective Model Checking of Markov Decision Processes Tekijä Kousha Etessami, Marta Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis

Julkaistu 2008-11-01

Hae kokoteksti

Artikkeli
7

$Unifying B\"uchi Complementation Constructions$

Unifying B\"uchi Complementation Constructions Tekijä Seth J. Fogarty, Orna Kupferman, Thomas Wilke, Moshe Y. Vardi

Julkaistu 2013-03-01

Hae kokoteksti

Artikkeli
8

The Complexity of Enriched Mu-Calculi Tekijä Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi

Julkaistu 2008-09-01

Hae kokoteksti

Artikkeli
9

$State of B\"uchi Complementation$

State of B\"uchi Complementation Tekijä Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay

Julkaistu 2014-12-01

Hae kokoteksti

Artikkeli