Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(8)
Krishnendu Chatterjee
5
Thomas A. Henzinger
4
Barbara Jobstmann
3
Laurent Doyen
1
Sumit Gulwani
1
Conferences
(2)
TACAS
1
CAV
1
Journals
(1)
CORR
3
Keywords
(25)
Embed
Subscribe
Academic
Authors
Rohit Singh
Rohit Singh,Massachusetts Institute of Technology,Scientific Computing,Software Engineering
Edit
Rohit Singh
Massachusetts Institute of Technology
Publications:
6
|
Citations:
11
Fields:
Scientific Computing
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
8 co-authors
from 2010 to 2012
|
Cited by
12 authors
Cumulative
Annual
Sort by:
Publications
(6)
BibTeX
|
RIS
|
RefWorks
Download
Automatically Generating Algebra Problems
Rohit Singh
,
Sumit Gulwani
,
Sriram Rajamani
Published in 2012.
QUASY: Quantitative Synthesis Tool
(
Citations: 1
)
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Barbara Jobstmann
,
Rohit Singh
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 267-271, 2011
Quantitative Synthesis for Concurrent Programs
(
Citations: 1
)
Pavol Cerny
,
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Arjun Radhakrishna
,
Rohit Singh
Journal:
Computing Research Repository - CORR
, vol. abs/1104.4, 2011
On Memoryless Quantitative Objectives
Krishnendu Chatterjee
,
Laurent Doyen
,
Rohit Singh
Journal:
Computing Research Repository - CORR
, vol. abs/1104.3, 2011
Measuring and Synthesizing Systems in Probabilistic Environments
(
Citations: 9
)
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Barbara Jobstmann
,
Rohit Singh
Conference:
Computer Aided Verification - CAV
, pp. 380-395, 2010
Sort by:
Citations
(11 times by 9 publications)
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
(
Citations: 2
)
Christian von Essen
,
Barbara Jobstmann
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 17-32, 2011
QUASY: Quantitative Synthesis Tool
(
Citations: 1
)
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Barbara Jobstmann
,
Rohit Singh
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 267-271, 2011
Quantitative Synthesis for Concurrent Programs
(
Citations: 1
)
Pavol Cerny
,
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Arjun Radhakrishna
,
Rohit Singh
Journal:
Computing Research Repository - CORR
, vol. abs/1104.4, 2011
From Boolean to quantitative synthesis
Pavol Cerny
,
Thomas A. Henzinger
Published in 2011.
Comments