Reiya Noguchi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Qualitative And Quantitative

Computationally Expensive

Multi Agent Learning

Top Venues

Publications

Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR (2024)
Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré
Repairing Real-Time Requirements. ATVA (2022)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental Methods for Checking Real-Time Consistency. FORMATS (2020)
Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
Incremental methods for checking real-time consistency. CoRR (2020)