Online and Compositional Learning of Controllers with Application to Floor Heating
Abstract elided by the publisher.
Related papers
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987
- Timed Automata Verification and Synthesis via Finite Automata Learning TACAS 2023
- FORTE: Online DataFrame Query Optimizer CGO 2026
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- The garbage collection advantage: improving program locality OOPSLA 2004
- A functional reactive animation of a lift using Fran JFP 2000
- Towards compositional and generative tensor optimizations GPCE 2017
- Programming the world of uncertain things (keynote) POPL 2016