Research Areas

Decision MakingTemporal Logic