Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

FouCo

Financiado

Cerrado

Foundations of Composition

Composition is a key technique in automata theory, used in particular in the model-checking, realisability analysis and automatic synthesis of reactive systems. Typically, when it comes to composition, deterministic automata are u... ver más

31/03/2022

THE UNIVERSITY OF...

213K€

Presupuesto del proyecto: 213K€

Líder del proyecto

THE UNIVERSITY OF LIVERPOOL No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2022-03-31

MSCA-IF-2019: Individual Fellowships Objective:The goal of the Individual Fellowships is to enhance the creative and innovative potential...

I+D

Cerrada

0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

THE UNIVERSITY OF LIVERPOOL

212.93K€ | Lider

Proyectos interesantes

NDMANCL

Software

Applied Physics

164K€ Cerrado

AVS-ISS

Software

Data Science

2M€ Cerrado

PAnaMoL

Software

Applied Physics

178K€ Cerrado

GETFUN

Software

Applied Physics

222K€ Cerrado

ForM-SMArt

Software

Applied Physics

2M€ Cerrado

BIOMICS

Software

Applied Physics

2M€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 24 meses Fecha Inicio: 2020-03-23
Fecha Fin: 2022-03-31

Líder del proyecto

THE UNIVERSITY OF LIVERPOOL No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 213K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Composition is a key technique in automata theory, used in particular in the model-checking, realisability analysis and automatic synthesis of reactive systems. Typically, when it comes to composition, deterministic automata are used as they behave well when composed with other automata or games. However, determinisation is notoriously complex, both conceptually and computationally. One approach to avoiding determinisation is the notion of Good for Games (GFG) nondeterministic automata, which, despite their nondeterminism, compose well with games. Recent work suggests that the notion of GFG automata, so far only used for composing non-deterministic automata with games, is in fact much more powerful: it generalises to alternating automata, a more general and flexible type of automata that is particularly close to formal logics, and such automata can be used not just in composition with games, but with other automata as well. This means that alternating automata of this type could potentially be used in solutions to parity games, Church's synthesis problem, and, more generally, for turning automata into equivalent automata with simpler acceptance conditions. This project aims to study how to make automata compositional, how to recognise compositional automata, and how to exploit compositionality to improve algorithms in verification and synthesis. In particular, we will study how partial notions of composition, that is, automata that are not GFG in general, but can still be composed with a restricted class of games, can be exploited to avoid determinisation and thereby simplify existing algorithms for reactive synthesis, model-checking and Markov decision procedures.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores