"Most of" leads to undecidability: Failure of adding frequencies to LTL.

Bartosz Bednarczyk Jakub Michaliszyn

Published in: CoRR (2020)

Keyphrases

model checking
temporal logic
decision trees
failure rate
database
information retrieval
information systems
multi agent
multi agent systems
description logics
belief revision
failure detection
frequency distribution
failure prediction
linear temporal logic