Saturated Kripke Structures as Vietoris Coalgebras.

Heinz-Peter Gumm Mona Taheri

Published in: CoRR (2022)

Keyphrases

data sets
temporal logic
modal logic
desirable properties
real time
computational complexity
model checking
databases
neural network
real world
feature selection
three dimensional
artificial neural networks
low cost
inference rules