Research output per year
Research output per year
Search results
-
2023
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, p. 125-158 33 p., 193.Research output: Journal Article or Conference Article in Journal › Journal article › Research
Open AccessFile -
Towards Formal Specification of Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review
-
2022
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
Quijano, S. & Varshosaz, M., 8 Jun 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). Valencia, Spain: IEEE, p. 486-488 2 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Patching Locking Bugs Statically with Crayons
Cruz, A., Varshosaz, M., Le Goues, C. & Wasowski, A., 22 Aug 2022, In: ACM Transactions on Software Engineering and Methodology.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
Araujo, H., Mousavi, M. R. & Varshosaz, M., 2022, In: ACM Transactions on Software Engineering and Methodology (TOSEM).Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access