From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “controller synthesis” 15

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Gerhard Lakemeyer

1

citations
LLM-Driven Heuristic Synthesis for Industrial Process Control: Lessons from Hot Steel Rolling
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Nima Hamidi Siboni, Seyedreza Kiamousavi, Emad Scharifi

0

citations
Inductive Synthesis of Finite-State Controllers for POMDPs
2022 arXiv (Cornell University) preprint Computer Science Data Stream Mining Techniques Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

1

citations
Probabilistic Robust Linear Quadratic Regulators with Gaussian Processes
2021 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Alexander von Rohr, Matthias Neumann-Brosig, Sebastian Trimpe

10

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Multi-Agent Systems and Negotiation Open access

Till Hofmann, Jens Claßen

0

citations
Controlling Golog Programs against MTL Constraints
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Stefan Schupp

0

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

0

citations
Gradient-Descent for Randomized Controllers under Partial Observability
2021 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

0

citations
Moment-Driven Predictive Control of Mean-Field Collective Dynamics
2021 arXiv (Cornell University) preprint Computer Science Distributed Control Multi-Agent Systems Open access

Giacomo Albi, Michaël Herty, Dante Kalise, Chiara Segala

2

citations
Data-driven Product-Process Optimization of N-isopropylacrylamide Microgel Flow-Synthesis
2023 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Luise F. Kaven, Artur M. Schweidtmann, Jana Israel, Nadja Wolter, Alexander Mitsos

0

citations
Stochastic Gradient Descent with Momentum: Analysis and Synthesis via Integral Quadratic Constraints
2026 arXiv (Cornell University) preprint Computer Science Stochastic Gradient Optimization Techniques Open access

Dennis Gramlich, Carsten W. Scherer, Christian Ebenbauer

0

citations
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Tobias Winkler, Maximilian Weininger

1

citations
Schedulable Job-Level Dependencies for Cause-Effect Chains via Graph Neural Networks
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Silviu S. Craciunas, Christian Hakert, Jian-Jia Chen, Zdeněk Hanzálek, Paul Pop

0

citations
Kinetic surface friction rendering for interactive sonification: an initial exploration
2021 arXiv (Cornell University) preprint Computer Science Music Technology and Sound Studies Open access

Staas de Jong

3

citations

15 results