Author of the publication

Uncertainty-Aware Signal Temporal Logic Inference.

, , , , and . VSTTE, volume 13124 of Lecture Notes in Computer Science, page 61-85. 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

Guaranteed Throughput in Work-Conserving Flow Aggregation Through Deadline Reuse., and . ICCCN, page 87-94. IEEE, (2006)Work-Conserving Fair-Aggregation Across Multiple Core Networks., and . ICCCN, page 932-938. IEEE, (2007)Flexible Electrostatic Transducers for Wearable Haptic Communication., , , , and . WHC, page 115-120. IEEE, (2019)Hierarchical Spatio-Temporal Neural Network with Displacement Based Refinement for Monocular Head Pose Prediction., , , , and . MVA, page 1-5. IEEE, (2023)Reward Machines for Cooperative Multi-Agent Reinforcement Learning., , , and . AAMAS, page 934-942. ACM, (2021)Denoising for Relaxing: Unsupervised Domain Adaptive Fundus Image Segmentation Without Source Data., , , , , , and . MICCAI (5), volume 13435 of Lecture Notes in Computer Science, page 214-224. Springer, (2022)Double-Uncertainty Guided Spatial and Temporal Consistency Regularization Weighting for Learning-Based Abdominal Registration., , , , , , , , , and . MICCAI (6), volume 13436 of Lecture Notes in Computer Science, page 14-24. Springer, (2022)A Fast Pseudo Stochastic Sequence Quantification Algorithm Based on Chebyshev Map and Its Application in Data Encryption., , , , and . International Conference on Computational Science (1), volume 3991 of Lecture Notes in Computer Science, page 826-829. Springer, (2006)A two-stage approach with softmax scoring mechanism for a multi-project scheduling problem sharing multi-skilled staff., , , and . Expert Syst. Appl., (2022)Ecological Learning Space Teaching Mode Based on Investigative Study - Case Study of Computer Image Processing., , and . Int. J. Emerg. Technol. Learn., 14 (4): 89-100 (2019)