Login / Signup
Pape M. Sylla
Publication Activity (10 Years)
Years Active: 2016-2022
Publications (10 Years): 5
Top Topics
Formal Verification
Satisfiability Modulo Theories
Model Checker
Recurrent Neural Networks
Top Venues
CoRR
IEEE Control. Syst. Lett.
COMPSAC Workshops
SP Workshops
</>
Publications
</>
Byron Heersink
,
Pape M. Sylla
,
Michael A. Warren
Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.
IEEE Control. Syst. Lett.
6 (2022)
Byron Heersink
,
Pape M. Sylla
,
Michael A. Warren
Formal verification of octorotor flight envelope using barrier functions and SMT solving.
CoRR
(2021)
Chris R. Serrano
,
Pape M. Sylla
,
Michael A. Warren
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems.
CoRR
(2020)
Christopher R. Serrano
,
Pape M. Sylla
,
Sicun Gao
,
Michael A. Warren
RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks.
SP Workshops
(2020)
Karim El Defrawy
,
Tiffany Kim
,
Pape M. Sylla
Automated Inference of Dependencies of Network Services and Applications via Transfer Entropy.
COMPSAC Workshops
(2016)