Find Research Projects

Search concepts
Selected filters

Tableaux for Variants of CTL*

McCabe-Dansted, J.

University of Western Australia

1/01/1331/12/13

Project: Research

Control and state estimation via limited capacity communication channels

Savkin, A., Charalambous, C. & Petersen, I.

ARC Early grants

1/01/0031/12/02

Project: Research

The Last Metre Problem (Project)

Fynn, K.

NICTA

1/01/0531/12/07

Project: Research