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
</>