Author of the publication

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain.

, , , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 730-740. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , and . KR, page 22-32. (2020)Verification of Semantic Key Point Detection for Aircraft Pose Estimation., , , , , and . KR, page 757-762. (2023)Formal Analysis of Neural Network-Based Systems in the Aircraft Domain., , , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 730-740. Springer, (2021)Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts., , , and . IJCAI, page 2184-2190. ijcai.org, (2021)Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation., , , , and . CoRR, (2024)OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks., , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 463-480. Springer, (2021)Formal Verification of Neural Agents in Non-deterministic Environments., , , and . AAMAS, page 25-33. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Formal Verification of Open Multi-Agent Systems., , , and . AAMAS, page 179-187. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems., , , and . NeSy, volume 3432 of CEUR Workshop Proceedings, page 427. CEUR-WS.org, (2023)Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis., , , , and . AAAI, page 3291-3299. AAAI Press, (2020)