共 50 条
- [31] The Logical Path to Autonomous Cyber-Physical Systems (Invited Paper) QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019), 2019, 11785 : 25 - 33
- [32] Robust Reasoning for Autonomous Cyber-Physical Systems in Dynamic Environments KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KSE 2021), 2021, 192 : 3966 - 3978
- [33] Decentralized Autonomous Architecture for Resilient Cyber-Physical Production Systems PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 1300 - 1303
- [34] Autonomous Perception and Decision-making in Cyber-physical Systems PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013,
- [36] Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (371):
- [37] Sensitivity and Property P in Non-Autonomous Systems Mediterranean Journal of Mathematics, 2020, 17
- [40] Formal and analytic normal forms for non-autonomous difference systems with uniform dichotomy spectrum Advances in Difference Equations, 2020