and μ-Synthesis for Nanosatellites Rendezvous and Docking.

Camille Pirat Finn Ankersen Roger Walker Volker Gass

Published in: IEEE Trans. Control. Syst. Technol. (2020)

Keyphrases

program synthesis
functional programs
database systems
databases
artificial intelligence
information systems
knowledge base
multimedia
decision trees
image segmentation
high quality