Kyle Doud

Framework for Formal Automated Analysis of Simulation Experiments

Kyle Doud, Kyle Doud, 2017 .

Supporting Simulation Experiments with Megamodeling

Alice E. Smith, Halit Oguztüzün, Kyle Doud, 2018, MODELSWARD.

Models as self-aware cognitive agents and adaptive mediators for model-driven science

Alice E. Smith, Halit Oguztüzün, Kyle Doud, 2017, 2017 Winter Simulation Conference (WSC).

A framework for formal automated analysis of simulation experiments using probabilistic model checking

Levent Yilmaz, Kyle Doud, L. Yilmaz, 2017, 2017 Winter Simulation Conference (WSC).

The Goal-Hypothesis-Experiment framework: A generative cognitive domain architecture for simulation experiment management

Levent Yilmaz, Kyle Doud, Sritika Chakladar, 2016, 2016 Winter Simulation Conference (WSC).