• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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