( en | de | ru )

 

Disambiguation of "Bohrer, Rose"

Author of the publication

copydeleteadd this publication to your clipboard
Goal-Aware RSS for Complex Scenarios via Program Logic.

, , , , , , , , , , , , , , 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.

Michael Bohrer

Simone Böhrer

Melanie Bohrer

Hubert Bohrer

Rainer Bohrer

 

Other publications of authors with the same name

Analyzing Trans (Mis)Representation in Video Games to Remediate Gender Dysphoria Triggers., , , and . Proc. ACM Hum. Comput. Interact., 7 (CHI): 369-401 (2023)TWAM: A Certifying Abstract Machine for Logic Programs., and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 112-134. Springer, (2018)VeriPhy: verified controller executables from verified cyber-physical system models., , , , and . PLDI, page 617-630. ACM, (2018)CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation., , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 55-60. Elsevier, (2018)Structured Proofs for Adversarial Cyber-Physical Systems., and . CoRR, (2021)Interval Arithmetic on 32-bit Words.. Arch. Formal Proofs, (2019)dLι: Definite Descriptions in Differential Dynamic Logic., , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 94-110. Springer, (2019)Bellerophon: Tactical Theorem Proving for Hybrid Systems., , , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 207-224. Springer, (2017)Cyber-Physical Verification of Intermittently Powered Embedded Systems., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4361-4372 (2022)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , and 5 other author(s). CoRR, (2022)