共 50 条
- [1] Policy Monitoring in First-Order Temporal Logic COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 1 - 18
- [3] OPTIMAL SOLUTION FOR FIRST-ORDER ISOVOLUMETRIC REACTION CHIMICA & L INDUSTRIA, 1975, 57 (02): : 140 - 141
- [5] Optimal Consensus with Inexact First-order Information 2021 PROCEEDINGS OF THE 40TH CHINESE CONTROL CONFERENCE (CCC), 2021, : 5499 - 5503
- [6] Is there an optimal generic semantics for first-order equations? LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 438 - 450
- [7] OPTIMAL CONTROL OF FIRST-ORDER UNDIVIDED INCLUSIONS TWMS JOURNAL OF APPLIED AND ENGINEERING MATHEMATICS, 2023, 13 (03): : 1013 - 1028
- [8] An acceleration procedure for optimal first-order methods OPTIMIZATION METHODS & SOFTWARE, 2014, 29 (03): : 610 - 628
- [9] First-Order Necessary Conditions in Optimal Control Journal of Optimization Theory and Applications, 2021, 189 : 716 - 743
- [10] First-order optimal approximation of binary sequences SEQUENCES AND THEIR APPLICATIONS, PROCEEDINGS, 2002, : 242 - 256