Here are my top of head thoughts.
Robotcy I like robot a lot as a term, and I think it works as a possible brandable. While come might argue that the radio test would leave open a ci or ee ending option confusion, it is nice imho. Robotex is probably significantly better and it sold for about $5k quite a few years ago. Robotize sold for $4k in 2017, somewhat comparable, maybe. Robotik for $3100 probably closer comparable. I see it priced in the main brandable range of low-mid $$$$ with a reasonable (but all are low) chance of success of a few percent per year.
I see the brandable side of studiny but it seems to me area probably not as lucrative and name not as good.
VisualSun has a really nice ring to it. Solar names also sell well. Assuming no one already has related TM I see it as easily somewhere $$$$. I like it.
FastBear is cute. Wonder what your ideas are re the sorts of uses it might find? I have no idea re valuation on it thought.
Best of luck with them.
Bob