Login / Signup

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.

Fei GaoFrédéric MalletMin ZhangMingsong Chen
Published in: DATE (2020)
Keyphrases
  • neural network
  • information retrieval
  • multi agent
  • model checking
  • temporal logic
  • human behavior
  • belief functions
  • linear constraints
  • soft constraints
  • inherent uncertainty