Quantifying Bounds in Strategy Logic.

Nathanaël Fijalkow Bastien Maubert Aniello Murano Sasha Rubin

Published in: CSL (2018)

Keyphrases

upper bound
logic programming
modal logic
real time
upper and lower bounds
digital circuits
logical framework
error bounds
deontic logic
multi valued
average case
optimal strategy
worst case
knowledge representation
lower bound
social networks
genetic algorithm