Not finding it? Sign in to also search OpenAlex live.
-
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 -
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆
0citations -
PASTA-4-PHT: a pipeline for automated security and technical audits for the personal health train2026 BMC Medical Informatics and Decision Making article Computer Science Security and Verification in Computing Open access
Sascha Welten, Ahmet Polat, Martin Görz, Maximilian Jugl, Laurenz Neumann, Johannes Lohmöller, +2 more
0citations -
Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment2026 CERN Document Server (European Organization for Nuclear Research) article Computer Science Adversarial Robustness in Machine Learning Open access
Xaver Fink, Borja Fernández Adiego, Daniele Mirarchi, Eloise Matheson, Álvaro García González, Gianmarco Ricci, +1 more
0citations
24 results