The Decidability of Verification under PS 2.0.

Parosh Aziz Abdulla Mohamed Faouzi Atig Adwait Godbole Shankara Narayanan Krishna Viktor Vafeiadis

Published in: ESOP (2021)

Keyphrases

model checking
query answering
fingerprint verification
description logics
type checking
formal verification
formal analysis
functional verification
machine learning
verification method
face verification
data structure
decision trees
information systems
computer vision
social networks
artificial intelligence