Login / Signup

Formal verification of deadlock avoidance rules for AGV systems.

Sarmad RiaziJonathan FalkAlexander GregerAnton PetterssonMartin Fabian
Published in: MED (2022)
Keyphrases
  • formal verification
  • management system
  • automated verification
  • model checking
  • rule based systems
  • expert systems
  • information systems
  • finite state machines
  • program slicing