Login / Signup
Mikel Lujan
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Epistemic Logic
Model Checking
Reactive Systems
Timed Automata
Top Venues
CoRR
SafeAI@AAAI
</>
Publications
</>
Edoardo Manino
,
Danilo Carvalho
,
Yi Dong
,
Julia Rozanova
,
Xidan Song
,
Mustafa A. Mustafa
,
André Freitas
,
Gavin Brown
,
Mikel Lujan
,
Xiaowei Huang
,
Lucas C. Cordeiro
EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
SafeAI@AAAI
(2022)
Xidan Song
,
Edoardo Manino
,
Luiz H. Sena
,
Erickson H. da S. Alves
,
Eddie Batista de Lima Filho
,
Iury Bessa
,
Mikel Lujan
,
Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.
CoRR
(2021)