Login / Signup
Ana Cruz
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Model Checker
Modal Logic
Formal Verification
Logic Programming
Top Venues
CoRR
OL2A
NCL
</>
Publications
</>
Ana Cruz
,
Alexandre Madeira
,
Luís Soares Barbosa
Paraconsistent Transition Systems.
CoRR
(2023)
Ana Cruz
,
Alexandre Madeira
,
Luís Soares Barbosa
A Logic for Paraconsistent Transition Systems.
NCL
(2022)
Ana Cruz
,
Diogo Matos
,
José Lima
,
Paulo Costa
,
Pedro Costa
Multi AGV Industrial Supervisory System.
OL2A
(2021)