Directed specifications and assumption mining for monotone dynamical systems
| Title | Directed specifications and assumption mining for monotone dynamical systems |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Kim, E., Arcak, M., Seshia, S. |
| Conference Name | 19th ACM International Conference on Hybrid Systems: Computation and Control |
| Date Published | April |
| Conference Location | Vienna, Austria |
| Keywords | 1446145 |
| Citation Key | KimArcSes16 |