From

Institution

Field

Type

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

Reset

Papers matching “controller synthesis” 14

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
2020 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour

4

citations
Controlling timed automata against MTL specifications with TACoS
2022 Science of Computer Programming article Computer Science Formal Methods in Verification

Till Hofmann, Stefan Schupp

2

citations
Computer-Implemented Articulatory Models for Speech Production: A Review
2022 Frontiers in Robotics and AI article Computer Science Speech Recognition and Synthesis Open access

Bernd J. Kröger

7

citations
Report on Efficient Conversational Large Language Models
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Topic Modeling Open access

Cornelius Glackin, Maria Inês Torres, David Thulke, Zoraida Callejas, Marvin Peinado, David Griol, +1 more

0

citations
Report on Efficient Conversational Large Language Models
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Topic Modeling Open access

Cornelius Glackin, Maria Inês Torres, David Thulke, Zoraida Callejas, Marvin Peinado, David Griol, +1 more

0

citations
Interactive NeRF Geometry Editing With Shape Priors
2023 IEEE Transactions on Pattern Analysis and Machine Intelligence article Computer Science Advanced Vision and Imaging Open access cited by 3 patents

Yu-Jie Yuan, Yang-Tian Sun, Yu‐Kun Lai, Yuewen Ma, Rongfei Jia, Leif P. Kobbelt, +1 more

12

citations
A Comprehensive Review of Number-Theoretic Foundations of Attribute-Based Encryption Schemes: Security Models, Optimization Techniques, and Emerging Computing Applications
2025 International Journal on Advanced Computer Theory and Engineering article Computer Science Cryptography and Data Security Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations

14 results