검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes Laurenti L, Lahijanian M, Abate A, Cardelli L, Kwiatkowska M IEEE Transactions on Automatic Control, 66(1), 17, 2021 |
| 2 |
Programmable chemical controllers made from DNA Chen YJ, Dalchau N, Srinivas N, Phillips A, Cardelli L, Soloveichik D, Seelig G Nature Nanotechnology, 8(10), 755, 2013 |