Baoluo Meng
Orcid: 0000-0002-3284-1969
According to our database1,
Baoluo Meng
authored at least 18 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR, 2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2023
CoRR, 2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper).
Proceedings of the Practical Aspects of Declarative Languages, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
CoRR, 2022
Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022
Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022
2021
Syst., 2021
Proceedings of the Computer Safety, Reliability, and Security, 2021
2020
Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), 2020
2017
Proceedings of the Automated Deduction - CADE 26, 2017