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 -
Why don't you do what you said you would? Conversational strategies for agents to understand users' reasons in supporting behavior2025 Behaviour and Information Technology article Computer Science Speech and dialogue systems Open access
Pei‐Yu Chen, M. Birna van Riemsdijk, Dirk Heylen, Catholijn M. Jonker, Myrthe Lotte Tielman
2citations
18 results