Login / Signup

Logical characterization of weighted pebble walking automata.

Benedikt BolligPaul GastinBenjamin MonmegeMarc Zeitoun
Published in: CSL-LICS (2014)
Keyphrases
  • cellular automata
  • weighted sum
  • finite automata
  • logical properties
  • probabilistic logic
  • probabilistic automata
  • clustering algorithm
  • control system
  • multi modal
  • weighted graph
  • finite state machines