( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Adapting Specifications for Reactive Controllers.

, , , и . SEAMS, стр. 1-12. IEEE, (2023)

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.

Sebastián Uchitel

Sebastián Fingerhuth

Sebastián Reynaldi

Sebastián López

Sebastián Marincolo

 

Другие публикации лиц с тем же именем

Adapting Specifications for Reactive Controllers., , , и . SEAMS, стр. 1-12. IEEE, (2023)2½-player generalized reactivity (1) games., , , и . CDC, стр. 6996-7001. IEEE, (2016)Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions., , , , и . ICRA, стр. 6824-6830. IEEE, (2021)Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems., , , , и . WSC, стр. 1051-1062. IEEE, (2020)Testing and validating end user programmed calculated fields., , , , , , и . ESEC/SIGSOFT FSE, стр. 827-832. ACM, (2018)Adaptation2: Adapting Specification Learners in Assured Adaptive Systems., , и . ASE, стр. 1347-1352. IEEE, (2021)Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach., , , и . ICAPS, стр. 569-577. AAAI Press, (2023)Iterator-Based Temporal Logic Task Planning., , и . ICRA, стр. 11472-11478. IEEE, (2020)Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering.. CIbSE, стр. 3-4. (2010)Partial Behavioural Models for Requirements and Early Design., , , и . MMOSS, том 06351 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)