Texture-Mapping Error Removal Based on the BRIEF Operator in Image-Based Three-Dimensional Reconstruction.
Remote. Sens., January, 2023
Efficient Seamline Network Generation for Large-Scale Orthoimage Mosaicking.
IEEE Geosci. Remote. Sens. Lett., 2022
Panoramic Image Generation Using Centerline- Constrained Mesh Parameterization for Arbitrarily Shaped Tunnel Lining.
IEEE Access, 2020
Statistical Model Checking.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Temporal and Spatial Features of Urban and Construction Land in Chengdu City, China.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019
An Improved Algorithm for Terrain Rendering.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019
Oxygen Monitoring Equipment for Sewage-Sludge Composting and Its Application to Aeration Optimization.
Sensors, 2018
Declarative vs rule-based control for flocking dynamics.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Resilient Control and Safety for Cyber-Physical Systems.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods Syst. Des., 2017
Model Checking Cyber-Physical Systems using Particle Swarm Optimization.
CoRR, 2017
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
A Simplex Architecture for Hybrid Systems Using Barrier Certificates.
Proceedings of the Computer Safety, Reliability, and Security, 2017
Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
Proceedings of the Automated Technology for Verification and Analysis, 2017
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.
Proceedings of the 27th International Conference on Concurrency Theory, 2016
A survey on unmanned aerial vehicle collision avoidance systems.
CoRR, 2015
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
Proceedings of the Runtime Verification - 6th International Conference, 2015
Using Statistical Model Checking for Measuring Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Compositional Branching-Time Measurements.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014