Universidade de São Paulo São Paulo Brazil

  1. Home
  2. search page
  3. affiliation

Universidade de São Paulo São Paulo Brazil

국가: Brazil
주요 연구 분야: Verification
주요 키워드: #learning #algorithm #algorithms
주요 저자:
#Rafael Braz #Adenilso Simao #Roland Groz #Catherine Oriat #Moritz Halm

📄 기관 상세정보

출판수2
총 인용수48
평균 인용수24.00
저자 수8
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (2건)

Improving Model Learning by Inferring Separating Sequences from Traces
저자: Rafael Braz , Adenilso Simao , Roland Groz , Catherine Oriat
키워드: #learning #algorithm #algorithms #software #refinement
파트: Verification | 연도: 2023
Improving Model Inference via W-Set Reduction
저자: Adenilso Simao , Moritz Halm , Rafael S. Braz , Roland Groz , Catherine Oriat
키워드: #learning #algorithm #algorithms #counterexamples #reassessing
파트: Verification | 연도: 2022