Markovian Testing Equivalence and Exponentially Timed Internal Actions

Published in: QFM (2009)

Keyphrases

internal states
internal and external
petri net
database
artificial intelligence
situation calculus
decision theoretic
search algorithm
test cases
human activities
plan recognition
discrete event
internal state
software testing
initial state