Linear Temporal Logic

While science fiction doesn’t always end up becoming reality, researchers at Duke University are making some of the technology predicted by Philip K. Dick in the 1950s and Steven Spielberg at the turn of the century a reality. In one of…