Frm Synchronization Tree Logic to Acceptance Model Logic.

Susanne Graf Joseph Sifakis

Published in: Logic of Programs (1985)

Keyphrases

management system
probabilistic model
mathematical model
tree structure
high level
theoretical analysis
multi agent
probability distribution
computational model
theoretical framework
prediction model
regression trees