Reiya Noguchi

According to our database, Reiya Noguchi authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory.

Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi

CoRR, 2024

2022

Repairing Real-Time Requirements.

Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Automated Technology for Verification and Analysis, 2022

2020

Incremental Methods for Checking Real-Time Consistency.

Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020