Sign in

Approximate Safety Properties in Metric Transition Systems.

Junyan QianFan ShiYong CaiHaiyu Pan
Published in: IEEE Trans. Reliab. (2022)
Keyphrases
  • transition systems
  • model checking
  • desirable properties
  • concurrent systems
  • search algorithm
  • temporal logic
  • artificial intelligence