[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 3927 || A Fully Automated Framework for Control of Linear Systems from LTL Specifications
- 作者Hespanha, João P.; Tiwari, Ashish
- 文件大小549.28KB
- 发表时间2006
- DOI10.1007/11730637_26
- 页码333-347
Distance Sampling MethodologySimon C. Barry and A. H. Welsh · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 2001
Statistical Classification with Missing CovariatesMajid Mojirsheibani and Zahra Montazeri · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 2007
On Quantum Statistical InferenceOle E. Barndorff-Nielsen, Richard D. Gill and Peter E. Jupp · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 2003
Statistical Methods for Regular Monitoring DataMichael L. Stein · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 2005
Statistical Studies of Infectious Disease IncidenceNiels G. Becker and Tom Britton · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 1999
Conditional Statistical Inference and Quantification of RelevanceRolf Sundberg · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 2003
Statistical Inference for Evolving Periodic FunctionsMarc G. Genton and Peter Hall · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 2007
Statistical Applications of the Multivariate Skew Normal DistributionA. Azzalini and A. Capitanio · Journal of the Royal Statistical Society. Series B (Statistical Methodology) · 1999