2005 |
4 | | Oliver B. Martin,
Brian C. Williams,
Michel D. Ingham:
Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata.
AAAI 2005: 321-326 |
2004 |
3 | | Brian C. Williams,
Michel D. Ingham,
Seung Chung,
Paul Elliott,
Michael W. Hofbaur,
Gregory T. Sullivan:
Model-Based Programming of Fault-Aware Systems.
AI Magazine 24(4): 61-76 (2004) |
2003 |
2 | | Brian C. Williams,
Michel D. Ingham,
S. H. Chung,
P. H. Elliott:
Model-based programming of intelligent embedded systems and robotic space explorers.
Proceedings of the IEEE 91(1): 212-237 (2003) |
2002 |
1 | EE | Brian C. Williams,
Michel D. Ingham:
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.
CP 2002: 508-524 |