Fully observable non-deterministic planning as assumption-based reactive synthesis
We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non-deterministic planning, and show that strong-cy...
Guardado en:
| Autores principales: | D’Ippolito, N., Rodríguez, N., Sardina, S. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_10769757_v61_n_p593_DIppolito |
| Aporte de: |
Ejemplares similares
-
Fully observable non-deterministic planning as assumption-based reactive synthesis
Publicado: (2018) -
Towards fully observable non-deterministic planning as assumption-based automatic synthesis
por: Sardina, S., et al. -
Towards fully observable non-deterministic planning as assumption-based automatic synthesis
Publicado: (2015) -
Synthesis and reactivity in inorganic and metal-organic chemistry
Publicado: (1974) -
Interaction Models and Automated Control under Partial Observable Environments
por: Ciolek, D., et al.