Shawn Ong

According to our database, Shawn Ong authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism.

Shawn Ong, Dexter Kozen

CoRR, July, 2025

Probabilistic Kleene Algebra with Angelic Nondeterminism.

Shawn Ong, Stephanie Ma, Dexter Kozen

Proc. ACM Program. Lang., 2025

2024

Probability and Angelic Nondeterminism with Multiset Semantics.

Shawn Ong, Stephanie Ma, Dexter Kozen

CoRR, 2024