You Lu et al. · 2024 · arXiv
관련도: 상
무리하게 돌진해 충돌을 유도하는 방식 대신, 교통 규칙을 지키면서 자율주행 차량의 사각지대와 예측 실패를 교묘하게 자극하는 지능형 적대적 NPC를 배치해야만 시스템 고유의 진정한 결함을 찾아낼 수 있다.
Yuliang Li, Zhonglin Hou, Hong Liu · 2024 · 2024 IEEE 23rd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
관련도: 상
자연어로 기록된 실제 교통사고 서사를 LLM의 제로샷 능력을 통해 정형화된 행동 트리 구조로 번역하고, 시뮬레이션의 시각적 키프레임을 피드백으로 활용해 크리티컬한 사고 상황의 파라미터를 역으로 추적·최적화하여 실행 가능한 테스트 시나리오를 자동 합성한다.
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang · 2025 · 33rd ACM International Conference on the Foundations of Software Engineering (FSE Companion '25)
관련도: 상 · 읽은 이유: 자율주행 시나리오 생성 테스트에서 위양성을 줄이고 시스템의 실제 거동 결함을 정밀하게 식별하는 방법론을 파악하기 위함
피할 수 없는 극단적인 사고 상황을 주입하여 자율주행 시스템을 무작위로 몰아세우는 대신, "이론적으로는 충돌을 완벽히 피할 수 있는 가장 아슬아슬한 경계 상황"을 수학적으로 설계하여 자율주행차가 이를 제어하지 못했을 때 명백한 시스템 결함임을 입증한다.
Angela Fan, Mitya Lyubarskiy, Beliz Gokkaya, Shubho Sengupta, Mark Harman, Shin Yoo, Jie M. Zhang · 2023 · ICSE-FOSE 2023
관련도: 상 · 읽은 이유: 소프트웨어 공학 도메인에서 LLM을 결합한 최신 하이브리드 기법들의 현황과 발전 방향 파악
소프트웨어 공학은 execution이라는 자동화된 ground truth를 가지므로, 전통적인 소프트웨어 검증 기술을 LLM과 결합하는 하이브리드 접근법을 통해 할루시네이션을 통제하고 신뢰성을 극대화할 수 있다.
저자 Victor Crespo-Rodriguez, Neelofar, Aldeida Aleti · 연도 2024 · 학회/저널 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024)
관련도: 상 · 읽은 이유: 자율주행 차량 도메인 연구 방향 확인
주변 차량을 Ego 차량 주위의 9개 칸 바둑판 위에서만 움직이도록 제한하여, 멀리 있는 차를 가까이 데려오는 데 소모되는 불필요한 탐색 시간을 줄이고 충돌 위험 상황을 빠르게 유도한다.
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang · 2024 · International Conference on Software Engineering
관련도: 상 · 읽은 이유: LLM Fuzzing(Universal Fuzzing) 학습
문법 규칙과 제약 조건을 수만 줄의 코드로 직접 하드코딩하는 대신, 이미 방대한 소스코드를 사전 학습한 대규모 언어 모델에게 타깃 명세서만 요약해 쥐어주면 모델 스스로 문법과 명세를 이해하고 똑똑하게 입력 변이를 수행하며 버그를 찾아낼 수 있다.
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang · 2023년 · ISSTA 2023
관련도: 상 · 읽은 이유: LLM Fuzzing(Universal Fuzzing) 학습
딥러닝 라이브러리를 테스트하기 위해 수동으로 문법 규칙을 정의하는 대신, 수천만 개의 오픈소스 코드를 학습한 대규모 언어 모델의 내부 지식을 활용하면 복잡한 API 제약 조건과 시퀀스를 만족하는 입력 프로그램을 제로샷으로 자동 생성 및 변이할 수 있다.
Matteo Iovino, Edvards Scukins, Jonathan Styrud, Petter Ögren, Christian Smith · 2022 · Robotics and Autonomous Systems
관련도: 상 · 읽은 이유: 로봇 공학 및 인공지능 분야에서 행위 트리의 전반적인 연구 흐름과 한계를 파악하기 위함
유한 상태 기계(FSM)가 유기적인 함수 호출 대신 복잡한 GOTO 문처럼 스파게티 로직을 양산할 때, 행위 트리(BT)는 균일한 인터페이스(Success/Failure/Running)를 기반으로 상태 전이 로직을 계층화하여 모듈성과 반응성을 동시에 확보하는 해결책이 된다.
Michele Colledanchise, Petter Ögren · 2022 · arXiv (venue unspecified)
관련도: 상 · 읽은 이유: 행동 트리의 기본 개념부터 상태 공간 및 확률론적 분석, 계획 및 학습 알고리즘과의 융합까지 체계적으로 이해하기 위함이다.
행동 트리는 기존 유한 상태 기계(FSM)의 'Goto' 방식의 일방향 제어 흐름을 현대 프로그래밍 언어의 '함수 호출'과 유사한 구조로 전환함으로써, 시스템의 반응성(Reactivity)을 높이면서도 모듈성(Modularity)을 완벽하게 보존하는 제어 아키텍처이다.
Alejandro Marzinotto, Michele Colledanchise, Christian Smith, Petter Ögren · 2014 · IEEE International Conference on Robotics and Automation (ICRA)
관련도: 상 · 읽은 이유: 행동 트리를 단순한 게임 AI 도구를 넘어 수학적 제어 이론과 결합하여 로봇 아키텍처의 중위 레이어로 정립하는 방법론과 등가성 증명 과정을 분석하기 위함이다.
게임 개발에서 유래한 유연한 계획 표현 도구인 행동 트리에 제어 이론의 수학적 엄밀함을 부여하여, 하이브리드 동적 시스템과 상호 변환 가능한 로봇 제어 프레임워크를 구축한다.