5 papers
Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
Fabian Kresse, Christoph H. Lampert
Controlling autonomous systems under real-world conditions often requires policies that can be evaluated with low latency and minimal energy consumption. Unfortunately, these condi…
Learning Quantized Continuous Controllers for Integer Hardware
Fabian Kresse, Christoph H. Lampert
Deploying continuous-control reinforcement learning policies on embedded hardware requires meeting tight latency and power budgets. Small FPGAs can deliver these, but only if costl…
Logic Gate Neural Networks are Good for Verification
Fabian Kresse, Emily Yu, Christoph H. Lampert +1
Learning-based systems are increasingly deployed across various domains, yet the complexity of traditional neural networks poses significant challenges for formal verification. Unl…
Scalable Interconnect Learning in Boolean Networks
Fabian Kresse, Emily Yu, Christoph H. Lampert
Learned Differentiable Boolean Logic Networks (DBNs) already deliver efficient inference on resource-constrained hardware. We extend them with a trainable, differentiable interconn…
Predictive Monitoring of Black-Box Dynamical Systems
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik +2
We study the problem of predictive runtime monitoring of black-box dynamical systems with quantitative safety properties. The black-box setting stipulates that the exact semantics…