"A Method Converting Multi-Properties Objective Reachability Problems to ..."

Zhaokai Li et al. (2022)

Details and statistics

DOI: 10.3390/SYM14112278

access: open

type: Journal Article

metadata version: 2022-12-05