Featured research
Signal First-Order Logic Neural Control
MSc Thesis · Leiden Institute of Advanced Computer Science (LIACS)
Trains neural predictive controllers directly against Signal First-Order Logic (SFO) specifications. It generalises STL-based neural control to full first-order logic with value quantification — the choose-and-commit behaviour that Signal Temporal Logic cannot express — while keeping the training objective independently verifiable.
- First-Order Logic
- Neural Predictive Control