Not finding it? Sign in to also search OpenAlex live.
-
Scalable Gaussian Process Regression via Deterministic Trigonometric Features: Uniform Bounds for Safe Model Predictive Control2026 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access
Julius Jagdt, Johanna Menn, Sebastian Trimpe, Melanie N. Zeilinger, Anna Scampicchio
0citations -
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 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
13citations -
Technical Report on Neural Language Models and Few-Shot Learning for Systematic Requirements Processing in MDSE2022 RWTH Publications (RWTH Aachen) preprint Computer Science Model-Driven Software Engineering Techniques Open access
Vincent Bertram, Miriam Boß, Evgeny Kusmenko, Imke Helene Nachmann, Bernhard Rumpe⋆, Danilo Trotta, +1 more
2citations -
Explainable LiDAR 3D Point Cloud Segmentation and Clustering for Detecting Airplane-Generated Wind Turbulence2025 ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD) conference-paper Computer Science Advanced Neural Network Applications Open access
Shuzhou Yuan, Michael Färber, Marius Brennfleck, Niklas Wartha, Anton Stephan
1citations -
Experimental Digital Twin of a Tunnel Ring Building Erector2023 IEEE EUROCON - International Conference on Smart Technologies (EUROCON) conference-paper Computer Science Reinforcement Learning in Robotics
Aymen Gannouni, Ali-Emil Naqwi, Hans Aoyang Zhou, Anas Abdelrazeq, Frank Hees, Robert Heinrich Schmitt
0citations