Orbit Verification of Small Sat Constellations.

Uros Kalabic Avishai Weiss Michael Chiu

Published in: IEEE ICBC (2021)

Keyphrases

information systems
small number
database
social networks
orders of magnitude
model checking
satisfiability problem
signature verification
real time
neural network
artificial intelligence
state space
closely related
search strategies