Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
Continuous Rotor Position Estimation for SRM Based on Transformed Unsaturated Inductance Characteristic2021 IEEE Transactions on Power Electronics article Engineering Sensorless Control of Electric Motors cited by 1 patent
Lefei Ge, Jixi Zhong, Chong Bao, Shoujun Song, Rik W. De Doncker
74citations -
Design and development of the PRIMAger instrument for PRIMA2026 Space Telescopes and Instrumentation: Optical, Infrared, and Millimeter Wave conference-abstract Physics and Astronomy Astronomy and Astrophysical Research Open access
A. Costille, Fabrice Madec, Johan D. Floriot, Tony Pamplona, Thomas Prouve, Laure Ciesla, +8 more
0citations