A μ-Calculus Approach to Supervisor Synthesis.

Roberto Ziller Klaus Schneider

Published in: MBMV (2003)

Keyphrases

texture synthesis
program synthesis
information systems
multi agent
proof procedure
automated deduction
databases
artificial intelligence
computer vision
knowledge base
optimal solution
video sequences
logic programs
algebraic structure
provably correct
computer algebra