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

Bartosz Bednarczyk Jakub Michaliszyn

Published in: FoSSaCS (2021)

Keyphrases

model checking
description logics
databases
root cause
failure detection
temporal logic
answering queries
linear temporal logic
bounded model checking
genetic algorithm
artificial intelligence
search engine
partially observable
frequency distribution