( en | de | ru )

 

Disambiguation of "Uchitel, Sebastián"

Author of the publication

copydeleteadd this publication to your clipboard
Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems.

, , , , and . WSC, page 1051-1062. IEEE, (2020)

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.

Sebastián Uchitel

Sebastián Fingerhuth

Sebastián Reynaldi

Sebastián López

Sebastián Marincolo

 

Other publications of authors with the same name

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions., , , , and . ICRA, page 6824-6830. IEEE, (2021)Adapting Specifications for Reactive Controllers., , , and . SEAMS, page 1-12. IEEE, (2023)2½-player generalized reactivity (1) games., , , and . CDC, page 6996-7001. IEEE, (2016)Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems., , , , and . WSC, page 1051-1062. IEEE, (2020)Testing and validating end user programmed calculated fields., , , , , , and . ESEC/SIGSOFT FSE, page 827-832. ACM, (2018)Adaptation2: Adapting Specification Learners in Assured Adaptive Systems., , and . ASE, page 1347-1352. IEEE, (2021)Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach., , , and . ICAPS, page 569-577. AAAI Press, (2023)Software Architecture Modeling & Analysis: A Rigorous Approach., , and . SFM, volume 2804 of Lecture Notes in Computer Science, page 44-51. Springer, (2003)Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification., , , , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 397-414. Springer, (2022)Synthesis of Run-To-Completion Controllers for Discrete Event Systems., , , , and . ACC, page 4892-4899. IEEE, (2021)