Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kaminski, Benjamin Lucien
164  Ergebnisse:
Personensuche X
?
1

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2052-2082 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Probabilistic Program Verification via Inductive Synthesis ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian... - p. 410-429 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 1957-1986 , 2023
Link: https://doi.org/10.1145/..
 
?
4

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 696-726 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Weighted programming: a programming paradigm for specifying..:

Batz, Kevin ; Gallus, Adrian ; Kaminski, Benjamin Lucien..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-30 , 2022
Link: https://doi.org/10.1145/..
 
?
6

Quantitative strongest post: a calculus for reasoning about..:

Zhang, Linpeng ; Kaminski, Benjamin Lucien
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA1 - p. 1-29 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Generative Datalog with Continuous Distributions:

Grohe, Martin ; Kaminski, Benjamin Lucien ; Katoen, Joost-pieter.
Journal of the ACM.  69 (2022)  6 - p. 1-52 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Latticed k-Induction with an Application to Probabilistic P..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Batz, Kevin ; Chen, Mingshuai ; Kaminski, Benjamin Lucien... - p. 524-549 , 2021
Link: https://doi.org/10.1007/..
 
?
9

A pre-expectation calculus for probabilistic sensitivity:

Aguirre, Alejandro ; Barthe, Gilles ; Hsu, Justin...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Relatively complete verification of probabilistic programs:..:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter.
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
11

Generating Functions for Probabilistic Programs:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Klinkenberg, Lutz ; Batz, Kevin ; Kaminski, Benjamin Lucien... - p. 231-248 , 2021
Link: https://doi.org/10.1007/..
 
?
12

A pre-expectation calculus for probabilistic sensitivity:

Aguirre, Alejandro ; Barthe, Gilles ; Hsu, Justin...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-28 , 2021
Link: https://doi.org/10.1145/..
 
?
13

Relatively complete verification of probabilistic programs:..:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter.
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

PrIC3: Property Directed Reachability for MDPs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Batz, Kevin ; Junges, Sebastian ; Kaminski, Benjamin Lucien... - p. 512-538 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Generative Datalog with Continuous Distributions:

, In: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,
Grohe, Martin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter. - p. 347-360 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15