Proactive Real-Time First-Order Enforcement.

François Hublet Leonardo Lima David A. Basin Srdan Krstic Dmitriy Traytel

Published in: CAV (2) (2024)

Keyphrases

real time
first order logic
neural network
high fidelity
control system
low cost
high speed
vision system
databases
artificial intelligence
higher order