Publications

Export 2 results:
Filters: Author is John Rushby  [Clear All Filters]
2013
Gelman, G., K. M. Feigh, and J. Rushby, "Example of a Complementary use of Model Checking and Agent-based Simulation", IEEE International Conference of Systems Man and Cybernetics, Manchester, UK, IEEE, October, 2013.
2011
Bass, E. J., K. M. Feigh, E. L. Gunter, and J. Rushby, "Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
Map of Cognitive Engineering Center

Cognitive Engineering Center (CEC)
Georgia Institute of Technology
270 Ferst Drive
Atlanta GA 30332-0150