發送短信 : Sequential schemes for frequentist estimation of properties in statistical model checking

 _    _     _____    __   __   __   __    ______  
| |  | ||  |  ___||  \ \\/ //  \ \\/ //  /_____// 
| |/\| ||  | ||__     \   //    \ ` //   `____ `  
|  /\  ||  | ||__     / . \\     | ||    /___//   
|_// \_||  |_____||  /_//\_\\    |_||    `__ `    
`-`   `-`  `-----`   `-`  --`    `-`'    /_//     
                                         `-`