( en | de | ru )

 

Disambiguation of "Wasowski, Andrzej"

Author of the publication

copydeleteadd this publication to your clipboard
Behavior Trees and State Machines in Robotics Applications.

, , , , and . CoRR, (2022)

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.

Andrzej Lingas

Andrzej Debski

Andrzej Piotrowski

Andrzej Tomczyk

Andrzej Szczerbakow

 

Other publications of authors with the same name

Techniques for Efficient Interactive Configuration of Distribution Networks., , and . IJCAI, page 100-105. (2007)Automatic Generation of Program Families by Model Restrictions. (2004)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , and . CoRR, (2015)Domain-Specific Languages - Effective Modeling, Automation, and Reuse, and . Springer, (2023)On efficient program synthesis from statecharts.. LCTES, page 163-170. ACM, (2003)Symbolic Semantics for Probabilistic Programs., , , , and . QEST, volume 14287 of Lecture Notes in Computer Science, page 329-345. Springer, (2023)Formal Specification and Testing for Reinforcement Learning., , , and . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (August 2023)A Modal Specification Theory for Components with Data., , , , and . FACS, volume 7253 of Lecture Notes in Computer Science, page 61-78. Springer, (2011)Modal I/O Automata for Interface and Product Line Theories., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 64-79. Springer, (2007)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , and . SE/SWM, volume P-292 of LNI, page 91-92. GI, (2019)