TU Delft Delft Netherlands

  1. Home
  2. search page
  3. affiliation

TU Delft Delft Netherlands

국가: Netherlands
주요 연구 분야: Verification
주요 키워드: #graph #planner #markov
주요 저자:
#Taha Shahroodi #Mahdi Zahedi #Abhairaj Singh #Stephan Wong #Said Hamdioui

📄 기관 상세정보

출판수5
총 인용수25
평균 인용수5.00
저자 수27
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (5건)

Composing Reinforcement Learning Policies, with Formal Guarantees
저자: Florent Delgrange , Guy Avni , Anna Lukina , Christian Schilling , Ann Nowé , Guillermo A Pérez
키워드: #graph #planner #markov #synthesis #design
파트: Artificial Intelligence | 연도: 2025
Finding Harmony in the Noise: Blending Security Alerts for Attack Detection
저자: Tom Martijn Roelofs , Eduardo Bárbaro , Svetlana Pekarskikh , Katarzyna Orzechowska , Marta Kwapień , Jakub Tyrlik , Dinu Smadu , Michel J G Van Eeten , Yury Zhauniarovich
키워드: #security #training #analysts #employees #vendors
파트: Safety | 연도: 2024
“Project smells” - Experiences in Analysing the Software Quality of ML Projects with mllint
저자: Bart van Oort , Luís Cruz , Babak Loni , Arie van Deursen
키워드: #research #engineering #holistic #scientists #smells
파트: Verification | 연도: 2022
KrakenOnMem: a memristor-augmented HW/SW framework for taxonomic profiling
저자: Taha Shahroodi , Mahdi Zahedi , Abhairaj Singh , Stephan Wong , Said Hamdioui
키워드: #intelligent #hardware #accelerator #computationally #speedup
파트: Verification | 연도: 2022
Out of Sight, Out of Mind: Detecting Orphaned Web Pages at Internet-Scale
저자: Stijn Pletinckx , Kevin Borgolte , Tobias Fiebig
키워드: #vulnerabilities #internet #online #websites #misconfigurations
파트: Strategies | 연도: 2021