Login / Signup

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.

Parasara Sridhar DuggiralaLe WangSayan MitraMahesh ViswanathanCésar A. Muñoz
Published in: FM (2014)
Keyphrases
  • probabilistic model
  • complex systems
  • experimental data
  • spatial and temporal
  • prior knowledge
  • peer to peer
  • temporal databases
  • resource constraints