A
Menu
January 01, 2007 conference-paper

Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

DOI: 10.1109/fskd.2007.458 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 2 stored of 55

2 results

References 0