From

Institution

Field

Type

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

Reset

Papers matching “controller synthesis” 39

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
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Adversarial Robustness in Machine Learning Open access

László Antal

0

citations
TACoS: A Tool for MTL Controller Synthesis
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Till Hofmann, Stefan Schupp

3

citations
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control
2020 Acta Informatica article Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan

10

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

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
Design of Crosstalk Cancellation Filters: Combining Inverse Filtering and Optimal Control
2023 European Signal Processing Conference (EUSIPCO) conference-paper Computer Science Speech and Audio Processing

Tobias Kabzinski, Florian Hilgemann, Peter Jax

0

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
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more

13

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

21

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 other Computer Science Formal Methods in Verification

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

2

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Multi-Agent Systems and Negotiation Open access

Till Hofmann, Jens Claßen

1

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 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

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

13

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
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

7

citations
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

0

citations
Moment-Driven Predictive Control of Mean-Field Collective Dynamics
2022 SIAM Journal on Control and Optimization article Computer Science Distributed Control Multi-Agent Systems Open access

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

19

citations
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
2025 Journal of Artificial Intelligence Research article Computer Science Advanced Database Systems and Queries Open access

Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen

4

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