Approximate Safety Properties in Metric Transition Systems.

Junyan Qian Fan Shi Yong Cai Haiyu Pan

Published in: IEEE Trans. Reliab. (2022)

Keyphrases

transition systems
model checking
desirable properties
concurrent systems
search algorithm
temporal logic
artificial intelligence