108
click to vote
AT
2013
11 years 10 months ago
2013
We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities, “3” and “2”. An example C...