共 42 条
[1]
Formal Synthesis of Lyapunov Neural Networks
[J].
IEEE CONTROL SYSTEMS LETTERS,
2021, 5 (03)
:773-778
[2]
Akram Adeel, 2018, 2018 IEEE 4th International Conference on Computer and Communications (ICCC). Proceedings, P1483, DOI 10.1109/CompComm.2018.8780648
[3]
[Anonymous], 2018, 15472018 IEEE, P1, DOI [10.1109/IEEESTD.2018.8569023, DOI 10.1109/IEEESTD.2018.8569023, DOI 10.1109/IEEESTD.2018.8423800]
[4]
[Anonymous], 2019, 11592019 IEEE, P1, DOI [10.1109/IEEESTD.2019.8796486, DOI 10.1109/IEEESTD.2019.8796486]
[5]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[6]
Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines
[J].
36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE COMPANION 2014),
2014,
:205-214