Augusto Peres

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Belief Revision

Temporal Epistemic

Hadamard Transform

Bounded Model Checking

Top Venues

J. Log. Comput.

Publications

Augusto Peres, Jaime Ramos, Francisco Dionísio
Bounded model checking distributed temporal logic. J. Log. Comput. 33 (5) (2023)
Augusto Peres, Eduardo Dias, Luís Sarmento, Hugo Penedones
Equivariant neural networks for recovery of Hadamard matrices. CoRR (2022)