Author of the publication

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.

, , and . FORMATS, volume 12860 of Lecture Notes in Computer Science, page 50-66. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Inorganic Materials Synthesis Planning with Literature-Trained Neural Networks., , , , , , , , , and 1 other author(s). CoRR, (2019)Emergency Management and Recovery of Luna Classic., , , , , , , and . CoRR, (2022)Multi-Agent Algorithmic Recourse., and . CoRR, (2021)ATMS Radiance Data Products' Calibration and Evaluation., , , , , , , , , and . IEEE Trans. Geosci. Remote. Sens., (2022)Global Simplified Atmospheric Radiative Transfer Model at L-Band., , and . IEEE Geosci. Remote. Sens. Lett., 10 (3): 437-440 (2013)2-D Lunar Microwave Radiance Observations From the NOAA-20 ATMS., , , , , , , , , and . IEEE Geosci. Remote. Sens. Lett., 18 (11): 2021-2024 (2021)Evaluation of the Tau-Omega Model Over a Dense Corn Canopy at P- and L-Band., , , , , , , , and . IEEE Geosci. Remote. Sens. Lett., (2023)Machine-learned metrics for predicting the likelihood of success in materials discovery., , , , and . CoRR, (2019)Sparse Kernel Transfer Learning., , and . ISVC (2), volume 13599 of Lecture Notes in Computer Science, page 39-52. Springer, (2022)Distributional Semantics of Line Charts for Trend Classification., , , and . ISVC (2), volume 13599 of Lecture Notes in Computer Science, page 259-269. Springer, (2022)