Login / Signup
Optimizing Checking-Logic for Reliability-Agnostic Control of Self-Calibrating Designs.
Frederic Worm
Patrick Thiran
Paolo Ienne
Published in:
ISQED (2007)
Keyphrases
</>
control system
process control
proof theory
database
information systems
modal logic
control method
classical logic
neural network
genetic algorithm
pose estimation
robotic systems
control theory