A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00062430 |
|---|---|
| Název v anglickém jazyce | A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 1 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Sebastian S. Bauer (státní příslušnost: DE - Spolková republika Německo) Line Juhl (státní příslušnost: DK - Dánské království) Kim G. Larsen (státní příslušnost: DK - Dánské království) Axel Legay (státní příslušnost: BE - Belgické království) Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057) |
| Popis výsledku v anglickém jazyce | Multiweighted modal automata provide a specification theory for multiweighted transition systems that have recently attracted interest in the context of energy games. We propose a simple fragment of CTL that is able to express properties about accumulated weights along maximal runs of multiweighted modal automata. Our logic is equipped with a game-based semantics and guarantees both soundness (formula satisfaction is propagated to the modal refinements) as well as completeness (formula non-satisfactionis propagated to at least one of its implementations). We augment our theory with a summary of decidability and complexity results of the generalized model checking problem, asking whether a specification---abstracting the whole set of its implementations---satisfies a given formula. |
| Klíčová slova oddělená středníkem | modal automata; specification theory; energy games; multiweighted automata |
| Stránka www, na které se nachází výsledek | http://doi.ieeecomputersociety.org/10.1109/TASE.2012.9 |
| DOI výsledku | 10.1109/TASE.2012.9 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12) |
|---|---|
| ISBN | 9781467323536 |
| ISSN | - |
| Počet stran výsledku | 8 |
| Strana od-do | 77-84 |
| Název nakladatele | IEEE Computer Society Press |
| Místo vydání | USA |
| Místo konání akce | China |
| Datum konání akce | 2012 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00062430!RIV13-MSM-14330___ |
| Datum poslední aktualizace výsledku | 09.08.2013 |
| Kontrolní číslo | 43450435 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LA | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |