| Title | Automatic Verification of Finite Precision Implementations of Linear Controllers |
| Publication Type | Book Chapter |
| Year of Publication | 2017 |
| Authors | Park, Junkil, Pajic, Miroslav, Sokolsky, Oleg, Lee, Insup |
| Secondary Authors | Legay, Axel, Margaria, Tiziana |
| Book Title | Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P |
| Pagination | 153–169 |
| Publisher | Springer Berlin Heidelberg |
| City | Berlin, Heidelberg |
| Keywords | 1505701 |
| DOI | 10.1007/978-3-662-54577-5_9 |
| Citation Key | junkil_tacas17 |
Automatic Verification of Finite Precision Implementations of Linear Controllers