Symbolic Fixpoint Algorithms for Logical LTL Games.

Stanly Samuel Deepak D'Souza Raghavan Komondoor

Published in: ASE (2023)

Keyphrases

fixpoint
logic programs
orders of magnitude
databases
learning algorithm
data structure
knowledge representation
temporal logic
update rule