Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi.

Daniel Hausmann Lutz Schröder

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

database
information retrieval
arithmetic operations
website
video sequences
qualitative spatial reasoning
genetic algorithm
clustering algorithm
case study
expert systems
mobile robot
fuzzy logic