Login / Signup

Model Checking application on Function Block Diagram model.

Tomás AusbergerKarel KubícekPavla MedvecováTomás MyslivecMilan Stetina
Published in: ETFA (2020)
Keyphrases
  • model checking
  • temporal logic
  • artificial intelligence
  • game theory
  • finite state machines