
Robustifying Controller Specifications of CyberPhysical Systems Against Perceptual Uncertainty
Formal reasoning on the safety of controller systems interacting with pl...
read it

ArchitectureGuided Test Resource Allocation Via Logic
We introduce a new logic named Quantitative Confidence Logic (QCL) that ...
read it

Higherorder probabilistic adversarial computations: Categorical semantics and program logics
Adversarial computations are a widely studied class of computations wher...
read it

Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation
A modal logic that is strong enough to fully characterize the behavior o...
read it

Fibrational Initial AlgebraFinal Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
The coincidence between initial algebras (IAs) and final coalgebras (FCs...
read it

ControlData Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
We introduce a novel sampling algorithm for Bayesian inference on impera...
read it

Graded Hoare Logic and its Categorical Semantics
Deductive verification techniques, based on program logics (i.e., the fa...
read it

Interaction laws of monads and comonads
We introduce and study functorfunctor and monadcomonad interaction law...
read it

Codensity Games for Bisimilarity
Bisimilarity as an equivalence notion of systems has been central to pro...
read it

Differentiable Causal Computations via Delayed Trace
We investigate causal computations taking sequences of inputs to sequenc...
read it

Relational Differential Dynamic Logic
In the field of quality assurance of hybrid systems (that combine contin...
read it

Codensity Lifting of Monads and its Dual
We introduce a method to lift monads on the base category of a fibration...
read it

Quantitative bisimulations using coreflections and open morphisms
We investigate a canonical way of defining bisimilarity of systems when ...
read it

Probabilistic Relational Reasoning via Metrics
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
read it

Metric Semantics for Probabilistic Relational Reasoning
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...
read it

Reasoning about Divergences for Relaxations of Differential Privacy
We develop a semantics framework for verifying recent relaxations of dif...
read it
Shinya Katsumata
is this you? claim profile