Not finding it? Sign in to also search OpenAlex live.
-
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
3citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
2citations -
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern2023 at - Automatisierungstechnik article Computer Science Model-Driven Software Engineering Techniques
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2citations -
Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints2026 arXiv (Cornell University) preprint Computer Science Digital Rights Management and Security Open access
Daham Mohammed Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Rafiqul Haque, +2 more
1citations -
Combined Task and Motion Planning via Sketch Decompositions2024 Proceedings of the International Conference on Automated Planning and Scheduling conference-paper Computer Science AI-based Problem Solving and Planning Open access
Magi Dalmau Moreno, Néstor García, Vicenç Gómez, Héctor Geffner
1citations