"A region-based approach for state estimation of timed automata under no ..."

Chao Gao et al. (2020)

Details and statistics

DOI: 10.1109/ETFA46521.2020.9211942

access: closed

type: Conference or Workshop Paper

metadata version: 2022-04-29