56 citations · 62 across the 4 of their papers we have counts for
4 papers
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules
Rohit Singh, Armando Solar-Lezama
This paper addresses the problem of creating simplifiers for logic formulas based on conditional term rewriting. In particular, the paper focuses on a program synthesis application…
Quantitative Synthesis for Concurrent Programs
Pavol Cerny, Krishnendu Chatterjee, Thomas Henzinger +2
We present an algorithmic method for the quantitative, performance-aware synthesis of concurrent programs. The input consists of a nondeterministic partial program and of a paramet…
On Memoryless Quantitative Objectives
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
In two-player games on graph, the players construct an infinite path through the game graph and get a reward computed by a payoff function over infinite paths. Over weighted graphs…
Measuring and Synthesizing Systems in Probabilistic Environments
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann +1
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order…