연속시간 신호 시간 논리의 평균 기반 견고성
연속 시간 신호 시공간 논리(STL) 사양을 위한 새로운 견고성 점수를 제안합니다. 신호의 진화 과정에서 가장 심각한 지점을 고려하는 대신, 전체 시간 구간 도메인에 걸친 모든 서브 공식들의 견고한 만족도를 강조하기 위해 평균 점수를 사용합니다. 우리는 이 새로운 점수가 복잡한 동역학과 다중 에이전트 시스템에서의 거짓 증명 및 제어 합성 문제에서의 장점을 보여줍니다.
paper
AI 요약
