scientific article; zbMATH DE number 7445154

MaRDI QIDQ3384159zbMATH OpenFDO

Authors Aleksandar Dimovski

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1709.02092, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Applications of game theory (91A80)

Recommendations

• Probabilistic game semantics
• Towards a probabilistic interpretation of game logic
• Automated game analysis via probabilistic model checking: a case study
• Probabilistic quantifiers and games
• Probabilistic analysis of simulation-based games
• Verification and refutation of probabilistic specifications via games
• Algorithmic probabilistic game semantics. Playing games with automata
• Modal stochastic games. Abstraction-refinement of probabilistic automata
• On the equivalence of game and denotational semantics for the probabilistic -calculus
• Mathematical Foundations of Computer Science 2003

Cites work

• Algorithmic probabilistic game semantics. Playing games with automata
• CONCUR 2005 – Concurrency Theory
• Effective lattice point counting in rational convex polytopes
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 2080040 (Why is no real title available?)
• scientific article; zbMATH DE number 7340142 (Why is no real title available?)
• On full abstraction for PCF: I, II and III
• Probabilistic game semantics
• Program verification using symbolic game semantics
• Slot games for detecting timing leaks of programs
• Static Analysis
• The regular-language semantics of second-order idealized ALGOL

Cited in

(8)

• Verifying annotated program families using symbolic game semantics
• Leafy automata for higher-order concurrency
• Probabilistic analysis of programs: a weak limit approach
• Symbolic execution + model counting + entropy maximization = automatic search synthesis
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• Game-Based Probabilistic Predicate Abstraction in PRISM
• On calculating assertion probabilities for program families
• Symbolic semantics for probabilistic programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384159)