A Temporal Logic for Mutual Mobile Membranes with Objects on Surface.
Bogdan AmanGabriel CiobanuPublished in: Computation, Cooperation, and Life (2011)
Keyphrases
- temporal logic
- model checking
- d objects
- modal logic
- satisfiability problem
- linear temporal logic
- mobile objects
- mazurkiewicz traces
- verification method
- curved surfaces
- model checker
- three dimensional
- artificial intelligence
- temporal knowledge
- reactive systems
- mobile devices
- concurrent systems
- finite state
- petri net
- symbolic model checking
- transition systems
- search algorithm
- computation tree logic
- automata theoretic