Cost analysis of games, using program logic

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 351-

  Morgan, Carroll ^a   McIver, Annabelle ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COST BENEFIT ANALYSIS; DECISION THEORY; MARKOV PROCESSES; PROBABILITY;

MARKOV DECISION PROCESSES; PROBABILISTIC GAME;

LOGIC PROGRAMMING;

EID: 0035695479     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Semantics of probabilistic programs
2. A probabilistic PDL
3. Results on the propositional μ-calculus
4. An expectation-based model for probabilistic temporal logic
5. Almost-certain eventualities and abstract probabilities in quantitative temporal logic
6. Probabilistic predicate transformers
7. Local model checking games