61 search results - page 13 / 13 » Decidable Cases of First-order Temporal Logic with Functions |
TSE
2011
12 years 11 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...