Author of the publication

Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents.

, , , , and . DSD, page 129-136. IEEE, (2019)

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

Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents., , , , and . DSD, page 129-136. IEEE, (2019)Exploiting the Third Dimension: Stackable Quantum-dot Cellular Automata., , and . NANOARCH, page 9:1-9:6. ACM, (2022)Bail on Balancing: An Alternative Approach to the Physical Design of Field-Coupled Nanocomputing Circuits., , , and . ISVLSI, page 66-71. IEEE, (2020)Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling., , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 326-347. Springer, (2020)Atomic Defect-Aware Physical Design of Silicon Dangling Bond Logic on the H-Si(100)2x1 Surface., , , , , and . CoRR, (2023)Late Breaking Results From Hybrid Design Automation for Field-coupled Nanotechnologies., , , and . DAC, page 1-2. IEEE, (2023)Scalable design for field-coupled nanocomputing circuits., , , , and . ASP-DAC, page 197-202. ACM, (2019)One-pass Synthesis for Field-coupled Nanocomputing Technologies., , , , and . ASP-DAC, page 574-580. ACM, (2021)Placement and Routing for Tile-based Field-coupled Nanocomputing Circuits Is NP-complete (Research Note)., , , , and . ACM J. Emerg. Technol. Comput. Syst., 15 (3): 29:1-29:10 (2019)On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata., , , , , , , , , and 2 other author(s). Microprocess. Microsystems, (2020)