About: Překlad formulí Lineární temporální logiky na omega-automaty

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Překlad formulí Lineární temporální logiky na omega-automaty Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=7AMB14FR016
Description	Cílem projektu je upevnit a prohloubit spolupráci mezi Fakultou informatiky Masarykovy univerzity a EPITA - Ecole d'ingénieurs en informatique v oblasti základního výzkumu formálních metod. Spolupráce bude upevněna formou mobility výzkumných pracovníků zabývajících se překladem LTL na omega-automaty. V rámci projektu spolupracující týmy identifikují žádoucí vlastnosti omega-automatů v závislosti na jejich dalším využití. Týmy dále navrhnou a následně implementují úpravy překladů nebo nové překlady formulí z LTL (či z fragmentů LTL) do různých druhů omega-automatů tak, aby výsledné automaty měly žádoucí vlastnosti. Cílem tohoto výzkumu je lepší vhled do vztahů mezi LTL, odpovídajícími automaty a jejich aplikacemi a dále zefektivnění algoritmů pracujících se specifikacemi systémů ve formě LTL formulí. The goal of the project is to strengthen and deepen cooperation of Faculty of Informatics at Masaryk University and EPITA - Ecole d'ingénieurs en informatique in the basic research area of formal methods. The cooperation will be strengthened by mobility of researchers working in the area of LTL to omega-automata translations. Within the project, the cooperating teams will identify desired properties of omega-automata depending on their use. The teams will suggest and implement modified or new translations of LTL formulea (or formulea of LTL fragments) to various kinds of omega-automata with the desired properties. Goal of this research is to get a better insight into relations between LTL, corresponding omega-automata, and applications of these automata, and to improve overall efficiency of algorithms working with system specifications given by LTL formulae. (en)
Title	Překlad formulí Lineární temporální logiky na omega-automaty Translation of Linear Temporal Logic to Omega-Automata (en)
skos:notation	7AMB14FR016
http://linked.open...avai/cep/aktivita	The sixth framework programme of the European Community for research, technological development and demonstration activities
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/7AMB14FR016/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/7AMB14FR016/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-05-28 (xsd:date)
http://linked.open...i/cep/druhSouteze	RP - Spolufinancování programu ES
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	101020776
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	LTL; Büchi automata; Rabin automata; model-checking; control synthesis (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	0 (xsd:int)
http://linked.open...enychVysledkuVRIV	0 (xsd:int)
http://linked.open...lneniVMinulemRoce	2014-04-28 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/MSMT-9937%2F2014-1
http://linked.open...iciPoslednihoRoku	2015
http://linked.open...atUdajeProjZameru	2015
http://linked.open...usZobrazovaneFaze	DRRVK
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2015-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	JC - Počítačový hardware a software JD - Využití počítačů, robotika a její aplikace
http://linked.open...ep/zahajeniReseni	2014-01-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZK
http://linked.open...n/vavai/cep/vyzva	http://linked.opendata.cz/resource/domain/vavai/cep/vyzva/FP6-2002-Mobility-10
http://linked.open.../cep/klicoveSlovo	LTL model-checking Büchi automata Rabin automata
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/7AMB14FR016/2014/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/7AMB14FR016/2015/orjk%3A14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 18 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software