( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System.

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

Sonia Maria Pinto Escoval

Mariano Aurelio Ernesto Pinto-Bazurco Mendieta

Elizabeth Pinto

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Sofia Pinto

 

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

COSI: A Framework for the Design of Interconnection Networks., , и . IEEE Des. Test Comput., 25 (5): 402-415 (2008)Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems., , , и . CoRR, (2024)Metaphysics of Planning Domain Descriptions., , и . AAAI, стр. 1074-1080. AAAI Press, (2016)Hierarchical Multi-objective planning: From mission specifications to contingency management., , , , и . ICRA, стр. 3735-3742. IEEE, (2014)Optimal design of a class of hybrid systems with uncertain parameters., и . CDC/ECC, стр. 539-544. IEEE, (2011)Interchange Format for Hybrid Systems: Abstract Semantics., , , и . HSCC, том 3927 из Lecture Notes in Computer Science, стр. 491-506. Springer, (2006)Probabilistically Safe Vehicle Control in a Hostile Environment, , , , и . CoRR, (2011)A case study in distributed deployment of embedded software for camera networks., , и . DATE, стр. 1006-1011. IEEE, (2009)Synthesis of wireless time-triggered embedded networks for networked control systems., , и . CASE, стр. 397-402. IEEE, (2009)Strategic planning under uncertainties via constrained Markov Decision Processes., , и . ICRA, стр. 4568-4575. IEEE, (2013)