Browsing Mathematics (Faculty of) by Subject "subgraphs"
Now showing items 1-2 of 2
-
Extracting Counterexamples from Transitive-Closure-Based Model Checking
(IEEE, 2019)We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ... -
The Vulcan game of Kal-toh: Finding or making triconnected planar subgraphs
(University of Waterloo, 2011-04-28)In the game of Kal-toh depicted in the television series Star Trek: Voyager, players attempt to create polyhedra by adding to a jumbled collection of metal rods. Inspired by this fictional game, we formulate graph-theoretical ...