Incremental LTLf Synthesis

Created by

Haebom

저자

Giuseppe De Giacomo, Yves Lesperance, Gianmarco Parretti, Fabio Patrizi, Moshe Y. Vardi

💡 개요

본 논문은 실행 중에 목표가 점진적으로 주어지는 반응형 합성의 한 형태인 점진적 LTLf 합성을 다룹니다. 이미 특정 목표를 위한 전략을 실행 중인 에이전트가 새로운 목표를 받으면, 기존 전략을 포기하고 초기 목표와 새로운 목표를 모두 만족하는 새로운 전략을 현재 시점부터 합성해야 합니다. 본 논문은 점진적 합성 문제를 형식적으로 정의하고 해결책을 제시합니다.

🔑 시사점 및 한계

•

자동화 기반 합성 중에 구축된 보조 데이터 구조를 활용하여 여러 LTLf 목표에 대한 점진적 합성을 효율적으로 수행하는 해결 기법을 제안합니다.

•

LTLf 공식 진행에 기반한 대안적인 해결 기법을 고려하며, 진행된 공식의 최소 자동화 크기가 원본 공식의 크기를 넘지 않음을 보여줍니다.

•

하지만, 새로운 목표가 도착할 때마다 진행된 LTLf 공식의 자동화를 처음부터 다시 계산하는 단순 구현은 경쟁력이 없음을 실험적으로 입증합니다.

PDF 보기

Made with Slashpage