Not finding it? Sign in to also search OpenAlex live.
-
Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification
Robin Mroß, Luca Söthe, Darko Divkovic, Aron Schnakenbeck, Marcus Völker, Alexander Fay, +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 -
Semantic difference analysis for model compositions of class diagrams, OCL constraints, and object diagrams2026 Innovations in Systems and Software Engineering article Computer Science Model-Driven Software Engineering Techniques Open access
Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Valdes Voufo
1citations -
Large physics models: towards a collaborative approach with large language models and foundation models2025 The European Physical Journal C article Computer Science Artificial Intelligence Applications Open access
Kristian González Barman, S. Caron, Emily Sullivan, Henk W. de Regt, Roberto Ruiz de Austri, Mieke Boon, +16 more
11citations -
animal2vec and MeerKAT: A self‐supervised transformer for rare‐event raw audio input and a large‐scale reference dataset for bioacoustics2025 Methods in Ecology and Evolution article Computer Science Music and Audio Processing Open access
Julian Zimmermann, Vlad Demartsev, Baptiste Averly, Kiran L. Dhanjal‐Adams, Mathieu Duteil, Gabriella E. C. Gall, +6 more
11citations