None of them will work directly with SmartThings. Control4 uses its own proprietary zigbee profile. If you use the DTH that Patrick Stewart created, you may be able to get partial control, but it will not be full function and the way the other zigbee switches like those from GE or Leviton are Because of the proprietary coding that control4 uses.
If you found a specific thread where people were talking about various indirect methods, ask a question in that thread.
As far as I know, Patrick Stuart, who worked as a consultant on Control4 systems, got farther than anyone else. his original work was an integration between a working control4 system and a working SmartThings system. Not the adding of individual control4 devices to a smartthings network.
Later he did come up with the DTH that allowed the devices to be used without the control4 coordinator, but the integration was always limited.
He has since moved on to a different platform, but here’s the thread where he started the project in 2014 and abandoned it by 2017 as being unreliable.