Probabilistic Formal Analysis of App Usage to Inform Redesign.

Oana Andrei Muffy Calder Matthew Chalmers Alistair Morrison Mattias Rost

Published in: IFM (2016)

Keyphrases

formal analysis
uncertain data
agent model
business process
formal methods
machine learning
social networking
bayesian networks
artificial intelligence
query language
probabilistic model
mobile applications
fully functional
ban logic