Logic + control: On program construction and verification.

Wlodzimierz Drabent

Published in: Theory Pract. Log. Program. (2018)

Keyphrases

control program
verification method
asynchronous circuits
control system
optimal control
model checking
adaptive control
classical logic
genetic algorithm
proof theory
neural network
fuzzy logic
data acquisition
real time
construction process
truth values
artificial intelligence