1. A Bayesian approach to relevance in game-playing;Baum;Artificial Intelligence,1997
2. Modelling and verification of time dependent systems using Time Petri Nets;Berthomieu;IEEE Transactions on Software Engineering,1991
3. An enumerative approach for analyzing time Petri nets;Berthomieu,1983
4. V. Bulitko, Minerva-5: A multifunctional dynamic expert system, Master's Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, IL, 1998
5. V. Bulitko, Envisionment-based scheduling using time interval Petri networks: Representation, inference, and learning, Ph.D. Thesis, University of Illinois at Urbana-Champaign, IL, 2000