Geodynamic monitoring of development of a karst on the basis of georadar sounding | IEEE Conference Publication | IEEE Xplore