Login / Signup
Equivalences for Fair Kripke Structures.
Adnan Aziz
Felice Balarin
Vigyan Singhal
Robert K. Brayton
Alberto L. Sangiovanni-Vincentelli
Published in:
Chic. J. Theor. Comput. Sci. (1999)
Keyphrases
</>
real time
desirable properties
neural network
artificial intelligence
connected components
modal logic
machine learning
bayesian networks
wide range
tree structures
multi unit combinatorial auctions