Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.

Matthew R. Lakin Darko Stefanovic

Published in: UCNC (2017)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
verification method
dna sequences
linear temporal logic
computation tree logic
domain specific
multi agent systems
mazurkiewicz traces
knowledge base
model checker
transition systems
temporally extended goals