Speaker
Masaki Waga
Kyoto University
Research Interests: Lightweight verification of black-box systems, monitoring of real-time systems with timed automata, falsification, runtime enforcement, and specification learning.
More Information:
Talks at this conference:
| Mon, 14:00 | Soft Pattern Matching: Toward Runtime Verification of NLP Systems |