Author Search Results :: UTM Library Massive Scholar Tracking

1

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

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

Published 2012-02-01

Get full text

Article
2

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

Published 2014-06-01

Get full text

Article
3

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

Published 2022-07-01

Get full text

Article
4

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

Published 2022-03-01

Get full text

Article
5

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

Published 2017-03-01

Get full text

Article
6

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

Published 2008-11-01

Get full text

Article
7

Profile Trees for Büchi Word Automata, with Application to Determinization by Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke

Published 2013-07-01

Get full text

Article
8

$Unifying B\"uchi Complementation Constructions$

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

Published 2013-03-01

Get full text

Article
9

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

Published 2008-09-01

Get full text

Article
10

$State of B\"uchi Complementation$

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

Published 2014-12-01

Get full text

Article