A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “differential dynamic programming” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
Fast and General Automatic Differentiation for Finite-State Methods
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lucas Ondel Yang, Tina Raissi, Martin Kocour, Pablo Riera, Caio Corro

0

citations
Which Algorithms Can Graph Neural Networks Learn?
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Solveig Wittig, Antonis Vasileiou, Robert R. Nerem, Timo Stoll, Floris Geerts, Yusu Wang, +1 more

0

citations
Gradient-Based Speech-to-Text Alignment for Any ASR Model: From CTC to Speech LLMs
2026 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Albert Zeyer, Ralf Schlüter, Hermann Ney

0

citations

5 results