Sciweavers

799 search results - page 1 / 160
» Synthesis for Probabilistic Environments
Sort
View
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
13 years 7 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe
CAV
2010
Springer
159views Hardware» more  CAV 2010»
13 years 5 months ago
Gist: A Solver for Probabilistic Games
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CORR
2010
Springer
79views Education» more  CORR 2010»
13 years 3 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CMSB
2008
Springer
13 years 5 months ago
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...
Dragan Bosnacki, Huub M. M. ten Eikelder, M. N. St...
AUTOMATICA
2002
80views more  AUTOMATICA 2002»
13 years 3 months ago
Robust control of nonlinear systems with parametric uncertainty
Probabilistic robustness analysis and synthesis for nonlinear systems with uncertain parameters are presented. Monte Carlo simulation is used to estimate the likelihood of system ...
Qian Wang, Robert F. Stengel