Login / Signup
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum.
Luca Aceto
Antonis Achilleos
Aggeliki Chalki
Anna Ingólfsdóttir
Published in:
CoRR (2024)
Keyphrases
</>
temporal logic
temporal reasoning
real world
data mining
machine learning
genetic algorithm
database
model checking
worst case
three dimensional
decision problems
special case
computational complexity
data structure
case study
e learning
neural network