|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 21 van 27 gevonden artikelen
| Titel: |
On Designated Values in Multi-valued CTL^* Model Checking |
| Auteur: |
Beata Konikowka Wojciech Penczek |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 60 (2004) nr. 1-4 pagina's 211-224 |
| Jaar: |
2004-09-10 |
| Inhoud: |
A multi-valued version of CTL^* (mv-CTL^*), where both the propositions and the accessibility relation are multi-valued, taking values in a complete lattice with a complement, is considered. Contrary to all the existing model checking results for multi-valued modal logics, our lattices are not required to be finite. A set of restrictions is provided under which there is a direct translation from mv-CTL^* to CTL^* model checking problem for designated values. Bisimulation induced by mv-CTL^* is characterized. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 21 van 27 gevonden artikelen
| << vorige | volgende >> |