| LDR | | 00000nam u2200205 4500 |
| 001 | | 000000434390 |
| 005 | | 20200226150318 |
| 008 | | 200131s2019 ||||||||||||||||| ||eng d |
| 020 | |
▼a 9781392776193 |
| 035 | |
▼a (MiAaPQ)AAI22620000 |
| 040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
| 082 | 0 |
▼a 160 |
| 100 | 1 |
▼a Fremont, Daniel Juon. |
| 245 | 10 |
▼a Algorithmic Improvisation. |
| 260 | |
▼a [S.l.]:
▼b University of California, Berkeley.,
▼c 2019. |
| 260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2019. |
| 300 | |
▼a 215 p. |
| 500 | |
▼a Source: Dissertations Abstracts International, Volume: 81-06, Section: A. |
| 500 | |
▼a Advisor: Seshia, Sanjit A. |
| 502 | 1 |
▼a Thesis (Ph.D.)--University of California, Berkeley, 2019. |
| 506 | |
▼a This item must not be sold to any third party vendors. |
| 520 | |
▼a The increasing use of autonomy for safety-critical tasks, from operating power grids to driving cars, has led to an acute need for reliable and secure systems. The ideal approach to obtaining rigorous reliability guarantees is to automatically construct systems from formal specifications using correct-by-construction synthesis. A new dimension in this area is the synthesis of randomized systems, which, as we show in this thesis, enables a broad range of new applications in safe autonomy and other fields. This is because randomness can provide several crucial benefits to a system, including robustness, variety, and unpredictability. For example, a robot following a random route can be harder for an adversary to intercept, making the system more secure |
| 590 | |
▼a School code: 0028. |
| 650 | 4 |
▼a Computer science. |
| 650 | 4 |
▼a Logic. |
| 690 | |
▼a 0984 |
| 690 | |
▼a 0395 |
| 710 | 20 |
▼a University of California, Berkeley.
▼b Logic & the Methodology of Science. |
| 773 | 0 |
▼t Dissertations Abstracts International
▼g 81-06A. |
| 773 | |
▼t Dissertation Abstract International |
| 790 | |
▼a 0028 |
| 791 | |
▼a Ph.D. |
| 792 | |
▼a 2019 |
| 793 | |
▼a English |
| 856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15493679
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
| 980 | |
▼a 202002
▼f 2020 |
| 990 | |
▼a ***1008102 |
| 991 | |
▼a E-BOOK |