Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking.

Oana Andrei, Gabriel Murray

Browse the full ICMI paper archive.