https://ojs.aaai.org/index.php/AAAI/article/download/25800/25572
Learning Interpretable Temporal Properties from Positive Examples Only
이 논문 23년도 aaai에 나온 논문인데, 해당 분야 (SE) 전공자 입장에서 진심으로 이미 다 예전에 있던 내용들임.
이정도면 그냥 이미 SE에 축적되어 있는거 가져다가 내도 될정도
https://ojs.aaai.org/index.php/AAAI/article/download/25800/25572
Learning Interpretable Temporal Properties from Positive Examples Only
원래 분야 막론하고 바퀴의 재발명은 끊임없이 일어나는거지
이거 글쓴이인데, 잘은 모르겠으나 AI 쪽에 독자적으로 automata learning, specification mining 분야 연구가 진행된 것 같음. 당장 SE 분야, 특히 PL 쪽 논문만 봐도 많은데 말이지..
@히낫히낫 내 편견일수도 있는데 ai 쪽은 논문이 워낙 많으니 상대적으로 관련연구조사 철저하게 안하는 경향이 있는 것 같긴 함. 물론 조사는 열심히 하겠지만 내가 못보고 넘어간 연구는 없는지 검토하는게 불가능할정도로 논문이 많으니.
난 aaai라도 한편 있었으면 좋겠어~~ 나에게 자신감을 줘~~