Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

18

CONCUR
2008
Springer

favoriteEmaildiscussreport

78views Distributed And Parallel Com...» more CONCUR 2008»

Environment Assumptions for Synthesis

14 years 20 days ago

Environment Assumptions for Synthesis

Download mtc.epfl.ch

Krishnendu Chatterjee, Thomas A. Henzinger, Barbar

Real-time Traffic

CONCUR 2008 | Distributed And Parallel Computing |

claim paper

Related Content

» Gist A Solver for Probabilistic Games

» Synthesis for Probabilistic Environments

» Range Synthesis for 3D Environment Modeling

» Synthesis of live behaviour models

» Synthesis of asynchronous control circuits with automatically generated relative timing as...

» GraphBased Proof Counting and Enumeration with Applications for Program Fragment Synthesis

» RF in the Jungle Effect of Environment Assumptions on Wireless Experiment Repeatability

» An Architecture for SelfAdaptation and Its Application to Aerial Image Understanding

» Dialectical Theory for Multiagent AssumptionBased Planning

Post Info
More Details (n/a)

Added	18 Oct 2010
Updated	18 Oct 2010
Type	Conference
Year	2008
Where	CONCUR
Authors	Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann

Comments (0)