共 50 条
- [3] Completeness for Generalized First-Order LTL KI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2010, 6359 : 246 - 254
- [5] FIRST-ORDER INVERSE EVOLUTION EQUATIONS EVOLUTION EQUATIONS AND CONTROL THEORY, 2014, 3 (03): : 355 - 361
- [7] Quadratic performance of generalized first-order systems PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 4533 - 4534