Login / Signup

Counting Models of Linear-Time Temporal Logic.

Bernd FinkbeinerHazem Torfah
Published in: LATA (2014)
Keyphrases
  • probabilistic model
  • linear time temporal logic
  • natural language
  • expert systems
  • general purpose