共 50 条
- [3] Symbolic model checking of non-regular properties COMPUTER AIDED VERIFICATION, 2004, 3114 : 83 - 95
- [5] Model Matching by Non-Regular Static State Feedback 2015 AMERICAN CONTROL CONFERENCE (ACC), 2015, : 3528 - 3533
- [6] Maximum Entropy Rate of Markov Sources for Systems With Non-regular Constraints 2008 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS, VOLS 1-3, 2008, : 1267 - +