Ahmed Irfan
发表
Davide Lanti,
Norbert Manthey,
Ahmed Irfan,
2013,
POS@SAT.
Marco Roveri,
Alberto Griggio,
Alessandro Cimatti,
2016,
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Marco Roveri,
Alberto Griggio,
Alessandro Cimatti,
2018,
SAT.
Marco Roveri,
Alberto Griggio,
Roberto Sebastiani,
2018,
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Marco Roveri,
Alberto Griggio,
Alessandro Cimatti,
2017,
TACAS.
Corina S. Pasareanu,
Guy Katz,
Haoze Wu,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Marco Roveri,
Alberto Griggio,
Alessandro Cimatti,
2017,
CADE.
Alberto Griggio,
Alessandro Cimatti,
Roberto Sebastiani,
2018,
ACM Trans. Comput. Log..
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2022,
VMCAI.
Alberto Griggio,
Alessandro Cimatti,
Stefano Tonetta,
2021,
CAV.
Alberto Griggio,
Alessandro Cimatti,
Roberto Sebastiani,
2021,
International Symposium on Frontiers of Combining Systems.
Florian Lonsing,
Aarti Gupta,
Makai Mann,
2021,
CAV.
Alberto Griggio,
Clark Barrett,
Oded Padon,
2021,
TACAS.
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
pdf
Ahmed Irfan,
Chelsea Sidrane,
Mykel J. Kochenderfer,
2021,
ArXiv.
Yoni Zohar,
Makai Mann,
Andres Nötzli,
2021,
ArXiv.
Imtiaz Ahmed Chandio,
Mir Aftab Hussain Talpur,
Napiah Madzlan,
2014
.