Author of the publication

Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.

, , , , , , and . CoRR, (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

Two-layer scheduling scheme for pump stations., , and . CCA, page 1741-1746. IEEE, (2014)Model Predictive Control of Urban Drainage Systems Considering Uncertainty., , , and . IEEE Trans. Control. Syst. Technol., 31 (6): 2968-2975 (November 2023)Chance-constrained Stochastic MPC of Astlingen Urban Drainage Benchmark Network., , , and . CoRR, (2020)Combining CSP and MPC for the operational control of water networks., , and . Eng. Appl. Artif. Intell., (2016)Integrated simulation and optimization scheme of real-time large-scale water supply network: applied to Catalunya case study., , and . Simul., 91 (1): 59-70 (2015)Reinforcement Learning versus Model Predictive Control on greenhouse climate control., , , , , and . Comput. Electron. Agric., (December 2023)Multi-layer model predictive control of regional water networks: Application to the catalunya case study., , and . CDC, page 7095-7100. IEEE, (2013)Cyber-Physical Systems for Real-Time Management in the Urban Water Cycle., , , and . CySWATER@CPSWeek, page 5-8. IEEE Computer Society, (2018)Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition., , and . COMPSAC (1), page 586-595. IEEE Computer Society, (2017)Hierarchical Recurrent Convolutional Neural Network for Chemical-protein Relation Extraction from Biomedical Literature., , , , , , , , and . BIBM, page 765-766. IEEE Computer Society, (2018)