검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance Stanley J, Liao HW, Lafortune S IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 2 |
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software Liao HW, Lafortune S, Reveliotis S, Wang Y, Mahlke S IEEE Transactions on Automatic Control, 58(5), 1123, 2013 |