Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence.

Thorsten Wißmann Stefan Milius Lutz Schröder

Published in: CoRR (2022)

Keyphrases

modal logic
differential equations
three dimensional
database systems
state space
domain specific
database
real time
neural network
genetic algorithm
learning algorithm
high level
video sequences
efficient computation