Date Range
Date Range
Date Range
A podcast on things and stuff. Kick it hardcore with Andrew, Cris, and Jenna as they reflect upon their time at GDC and discuss their various romps around San Francisco. Too excited for The Legend of Korra? Posted 2 days ago.
GMO marijuana anomaly with bud growing out of the base of fan leaf.
Regular Model Checking is a framework for unified verification of infinite-state systems based on automata theory. It represents states using words over a finite alphabet and sets of states using finite automata. Recently, these techniques have also been applied to finite trees and we hope to generalize these techniques to other kinds of structures such as graphs. For an introduction to Regular Model Checking, you can look at the Licentiate Thesis.