EASE-related Publications

Shown Category: Cognitive Architectures & Systems

2023

[1] The CRAM Cognitive Architecture for Robot Manipulation in Everyday Activities
Beetz, Michael, Kazhoyan, Gayane and Vernon, David, "The CRAM Cognitive Architecture for Robot Manipulation in Everyday Activities", 2023.
[pdf] [bib]
[2] EEG Correlates of Distractions and Hesitations in Human–Robot Interaction: A LabLinking Pilot Study
Richter, Birte, Putze, Felix, Ivucic, Gabriel, Brandt, Mara, Schütze, Christian, Reisenhofer, Rafael, Wrede, Britta and Schultz, Tanja, "EEG Correlates of Distractions and Hesitations in Human–Robot Interaction: A LabLinking Pilot Study", Multimodal Technologies and Interaction—Edition 2023, 2023.
[url] [bib]

2022

[3] What is Missing in XAI So Far? An Interdisciplinary Perspective
Schmid, Ute and Wrede, Britta, "What is Missing in XAI So Far? An Interdisciplinary Perspective", Springer, 2022.
[url] [bib]
[4] Dungeons & Replicants II: Automated Game Balancing Across Multiple Difficulty Dimensions via Deep Player Behavior Modeling
Pfau, Johannes, Liapis, Antonios, Yannakakis, Georgios N. and Malaka, Rainer, "Dungeons & Replicants II: Automated Game Balancing Across Multiple Difficulty Dimensions via Deep Player Behavior Modeling", In IEEE Transactions on Games, IEEE, 2022.
[url] [bib] [doi]
[5] Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
Herdt, Vladimir and Drechsler, Rolf, "Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges", In Science China Information Sciences, Springer, 2022.
[bib] [doi]
[6] “I Want It That Way”: Exploring Users’ Customization and Personalization Preferences for Home Assistants
Zargham, Nima, Alexandrovsky, Dmitry, Erich, Jan, Wenig, Nina and Malaka, Rainer, "“I Want It That Way”: Exploring Users’ Customization and Personalization Preferences for Home Assistants", In In CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI ’22 Extended Abstracts), April 29-May 5, 2022, New Orleans, LA, USA. ACM, New York, NY, USA, 2022.
[url] [bib]
[7] Action Selection and Execution in Everyday Activities: A Cognitive Robotics and Situation Model Perspective
Vernon, David, Albert, Josefine, Beetz, Michael, Chiou, Shiau-Chuen, Ritter, Helge and Schneider, Werner X., "Action Selection and Execution in Everyday Activities: A Cognitive Robotics and Situation Model Perspective", topiCS - Topics in Cognitive Science, vol. 14, pp. 344-362doi=10.1111/tops.12569, 2022.
[url] [bib]

2021

[8] An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes
Tempel, Sören, Herdt, Vladimir and Drechsler,Rolf, "An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes", In 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, 2021.
[pdf] [bib]
[9] UNREALHAPTICS: Plugins for Advanced VR Interactions in Modern Game Engines
Rosskamp, Janis, Meißenhelter, Hermann, Weller, Rene, Rüdel, Marc O., Ganser, Johannes and Zachmann, Gabriel, "UNREALHAPTICS: Plugins for Advanced VR Interactions in Modern Game Engines", In Frontiers in Virtual Reality, 2021.
[url] [bib] [doi]
[10] URoboSim — a simulation-based predictive modelling engine for cognition-enabled robot manipulation
Neumann, Michael, Haidu, Andrei and Beetz, Michael, "URoboSim — a simulation-based predictive modelling engine for cognition-enabled robot manipulation", In 2nd Embodied AI Workshop (CVPR), 2021.
[pdf] [bib]

2020

[11] The Robot Household Marathon Experiment
Gayane Kazhoyan, Simon Stelter, Franklin Kenghagho Kenfack, Sebastian Koralewski and Michael Beetz, "The Robot Household Marathon Experiment", 2020.
[url] [bib]
[12] Fast Computations of Accurate Proximity Information in Unreal
Rüdel, Marc O, Rosskamp, Janis,, Meissenhelter, Hermann, Weller, Rene and Zachmann, Gabriel, "Fast Computations of Accurate Proximity Information in Unreal", In Frontiers in Virtual Reality, 2020.
[bib]
[13] Embodied Functional Relations: a Formal Account Combining Abstract Logical Theory with Grounding in Simulation
Pomarlan, Mihai and Bateman, John A., "Embodied Functional Relations: a Formal Account Combining Abstract Logical Theory with Grounding in Simulation", In Proceedings of the 11th International Conference on Formal Ontology in Information Systems, 2020.
[bib]
[14] Clustering-Guided SMT(LRA) Learning
Tim Meywerk, Marcel Walter, Daniel Große and Rolf Drechsler, "Clustering-Guided SMT(LRA) Learning", In 16th International Conference on integrated Formal Methods (iFM), 2020.
[bib]
[15] Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, D. Große and Rolf Drechsler, "Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling", In Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2020.
[bib]
[16] Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
Vladimir Herdt, Daniel Große, Eyck Jentzsch and Rolf Drechsler, "Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study", In Forum on specification & Design Languages (FDL), 2020.
[bib]
[17] RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
Vladimir Herdt, Daniel Große and Rolf Drechsler, "RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms", In International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020.
[bib]
[18] Linking Labs: Interconnecting Experimental Environments
Tanja Schultz, Felix Putze, Thorsten Fehr, Moritz Meier, Celeste Mason, Florian Ahrens and Manfred Herrmann, "Linking Labs: Interconnecting Experimental Environments", submitted to PLOSone, 2020.
[bib]
[19] EO-MTRNN: evolutionary optimization of hyperparameters for a neuro-inspired computational model of spatiotemporal learning
Wieser, Erhard and Cheng, Gordon, "EO-MTRNN: evolutionary optimization of hyperparameters for a neuro-inspired computational model of spatiotemporal learning", Biological Cybernetics, Springer, pp. 1–25, 2020.
[bib]
[20] Learning Motion Parameterizations of Mobile Pick and Place Actions from Observing Humans in Virtual Environments
Gayane Kazhoyan, Alina Hawkin, Sebastian Koralewski, Andrei Haidu and Michael Beetz, "Learning Motion Parameterizations of Mobile Pick and Place Actions from Observing Humans in Virtual Environments", In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020.
[bib]

2019

[21] Towards formal verification of plans for cognition-enabled autonomous robotic agents
Meywerk, Tim, Walter, Marcel, Herdt, Vladimir, Große, Daniel and Drechsler, Rolf, "Towards formal verification of plans for cognition-enabled autonomous robotic agents", In 2019 22nd Euromicro Conference on Digital System Design (DSD), pp. 129–136, 2019.
[url] [bib]
[22] Scalable Design for Field-Coupled Nanocomputing Circuits
Walter, Marcel, Wille, Robert, Torres, Frank Sill, Groundefinede, Daniel and Drechsler, Rolf, "Scalable Design for Field-Coupled Nanocomputing Circuits", In Proceedings of the 24th Asia and South Pacific Design Automation Conference, Association for Computing Machinery, New York, NY, USA, pp. 197–202, 2019.
[pdf] [bib] [doi]
[23] MatCALO: Knowledge-enabled machine learning in materials science
Picklum, Mareike and Beetz, Michael, "MatCALO: Knowledge-enabled machine learning in materials science", Computational Materials Science, Elsevier, vol. 163, pp. 50–62, 2019.
[url] [bib]
[24] Cognition-enabled robotic wiping: Representation, planning, execution, and interpretation
Leidner, Daniel, Bartels, Georg, Bejjani, Wissam, Albu-Schäffer, Alin and Beetz, Michael, "Cognition-enabled robotic wiping: Representation, planning, execution, and interpretation", Robotics and Autonomous Systems, Elsevier, vol. 114, pp. 199–216, 2019.
[bib]
[25] Information System for Storage, Management and Usage for Embodied Intelligent Agents
Beßler, Daniel, Bozcuoglu, Asil Kaan and Beetz, Michael, "Information System for Storage, Management and Usage for Embodied Intelligent Agents", Chapter in Information Storage from a multi-disciplinary perspective (Drechsler, Rolf, Große, Cornelia, eds.), Springer, 2019.
[url] [bib]
[26] Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems
Drechsler, Rolf, "Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems", In 2019 IEEE 28th Asian Test Symposium (ATS), pp. 159–1595, 2019.
[url] [bib]
[27] Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
Tim Meywerk, M. Walter, Vladimir Herdt, D. Große and R. Drechsler, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents", 2019 22nd Euromicro Conference on Digital System Design (DSD), pp. 129-136, 2019.
[bib]
[28] Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems
Drechsler, Rolf, "Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems", In 2019 IEEE 28th Asian Test Symposium (ATS), pp. 159–1595, 2019.
[url] [bib]
[29] Scalable Design for Field-Coupled Nanocomputing Circuits
Walter, Marcel, Wille, Robert, Torres, Frank Sill, Groundefinede, Daniel and Drechsler, Rolf, "Scalable Design for Field-Coupled Nanocomputing Circuits", In Proceedings of the 24th Asia and South Pacific Design Automation Conference, Association for Computing Machinery, New York, NY, USA, pp. 197–202, 2019.
[pdf] [bib] [doi]
[30] Comparative Analysis of Think-aloud Methods for Everyday Activities in the Context of Cognitive Robotics
Meier, Moritz, Mason, Celeste, Putze, Felix and Schultz, Tanja, "Comparative Analysis of Think-aloud Methods for Everyday Activities in the Context of Cognitive Robotics", In 20th Annual Conference of the International Speech Communication Association, Graz, Austria, 2019.
[pdf] [bib]
[31] Executing Underspecified Actions in Real World Based on Online Projection
Gayane Kazhoyan and Michael Beetz, "Executing Underspecified Actions in Real World Based on Online Projection", In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019.
[bib] [doi]
[32] Accomplishing Variations of Mobile Manipulation Actions through Generalized Robot Plans
Gayane Kazhoyan and Michael Beetz, "Accomplishing Variations of Mobile Manipulation Actions through Generalized Robot Plans", In Proceedings of the Seventh Annual Conference on Advances in Cognitive Systems, 2019.
[bib]

2018

[33] Towards Deep Player Behavior Models in MMORPGs
Pfau, J., Smeddinck, J.D. and Malaka, R., "Towards Deep Player Behavior Models in MMORPGs", In Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play, pp. 381–392, 2018.
[pdf] [bib] [doi]
[34] Know rob 2.0—a 2nd generation knowledge processing framework for cognition-enabled robotic agents
Beetz, Michael, Beßler, Daniel, Haidu, Andrei, Pomarlan, Mihai, Bozcuo\uglu, Asil Kaan and Bartels, Georg, "Know rob 2.0—a 2nd generation knowledge processing framework for cognition-enabled robotic agents", In 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 512–519, 2018.
[url] [bib]
[35] A Self-Verifying Cognitive Architecture for Robust Bootstrapping of Sensory-Motor Skills via Multipurpose Predictors
Wieser, Erhard and Cheng, Gordon, "A Self-Verifying Cognitive Architecture for Robust Bootstrapping of Sensory-Motor Skills via Multipurpose Predictors", IEEE Transactions on Cognitive and Developmental Systems, IEEE, vol. 10, no. 4, pp. 1081–1095, 2018.
[bib]
[36] UnrealHaptics: A Plugin-System for High Fidelity Haptic Rendering in the Unreal Engine
Rüdel, Marc O, Ganser, Johannes, Weller, Rene and Zachmann, Gabriel, "UnrealHaptics: A Plugin-System for High Fidelity Haptic Rendering in the Unreal Engine", In Springer Lecture Notes in Computer Science, LNCS, Volume 11162 (EuroVR Proc.), pp. 128–147, 2018.
[bib]
[37] SAT-Lancer: A Hardware SAT-Solver for Self-Verification
Buse Ustaoglu, Sebastian Huhn, Daniel Große and Rolf Drechsler, "SAT-Lancer: A Hardware SAT-Solver for Self-Verification", In ACM Great Lakes Symposium on VLSI, pp. 479–482, 2018.
[bib]
[38] Human activities data collection and labeling using a think-aloud protocol in a table setting scenario
Mason, C, Meier, M, Ahrens, F, Fehr, T, Herrmann, M, Putze, F and Schultz, T, "Human activities data collection and labeling using a think-aloud protocol in a table setting scenario", 2018.
[bib]

2017

[39] Verifying next generation electronic systems
R. Drechsler, "Verifying next generation electronic systems", In 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6-10, 2017.
[url] [bib] [doi]
[40] Heterogeneous Ontologies and Hybrid Reasoning for Service Robotics: The EASE Framework
Bateman, John, Beetz, Michael, Beßler, Daniel, Bozcuoglu, Asil Kaan and Pomarlan, Mihai, "Heterogeneous Ontologies and Hybrid Reasoning for Service Robotics: The EASE Framework", In Third Iberian Robotics Conference, Sevilla, Spain, 2017.
[bib]
[41] A Cloud Service for Robotic Mental Simulations
Asil Kaan Bozcuoglu and Michael Beetz, "A Cloud Service for Robotic Mental Simulations", In International Conference on Robotics and Automation (ICRA), Singapore, 2017.
[bib]
[42] Updating Bayesian networks using crowds
Sarma, H, Samaddar, AB, Porzel, R, Smeddinck, JD and Malaka, R, "Updating Bayesian networks using crowds", Neural Network World, Czech Technical University in Prague, Faculty of Transportation Sciences, vol. 27, no. 5, pp. 529–540, 2017.
[pdf] [bib]
[43] Verifying next generation electronic systems
R. Drechsler and D. Große, "Verifying next generation electronic systems", In 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6-10, 2017.
[url] [bib] [doi]

2016

[44] ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
Vladimir Herdt, Hoang M. Le, Daniel Große and Rolf Drechsler, "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation", In Computer Aided Verification, 2016.
[bib]

2015

[45] Open-EASE – A Cloud-Based Knowledge Service for Autonomous Learning
Moritz Tenorth, Jan Winkler, Daniel Beßler and Michael Beetz, "Open-EASE – A Cloud-Based Knowledge Service for Autonomous Learning", KI – KÃŒnstliche Intelligenz, Springer Berlin Heidelberg, 2015.
[bib] [doi]
[46] Verifying SystemC Using Stateful Symbolic Simulation
Herdt, Vladimir, Le, Hoang M. and Drechsler, Rolf, "Verifying SystemC Using Stateful Symbolic Simulation", In Design Automation Conference, pp. 49:1–49:6, 2015.
[bib]

2014

[47] Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0"
, "Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0"", In Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World - IFIP WG 5.7 International Conference, APMS 2014, Ajaccio, France, September 20-24, 2014, Proceedings, Part I, pp. 281–288, 2014.
[bib]

2013

[48] Verifying SystemC using an intermediate verification language and symbolic simulation
Hoang M. Le, Daniel Große, Vladimir Herdt and Rolf Drechsler, "Verifying SystemC using an intermediate verification language and symbolic simulation", In Design Automation Conference, pp. 116:1–116:6, 2013.
[bib]
[49] KnowRob – A Knowledge Processing Infrastructure for Cognition-enabled Robots. Part 1: The KnowRob System
Moritz Tenorth and Michael Beetz, "KnowRob – A Knowledge Processing Infrastructure for Cognition-enabled Robots. Part 1: The KnowRob System", International Journal of Robotics Research (IJRR), vol. 32, no. 5, pp. 566–590, 2013.
[bib]

2012

[50] Automatic TLM Fault Localization for SystemC
Hoang M. Le, Daniel Große and Rolf Drechsler, "Automatic TLM Fault Localization for SystemC", IEEE Transactions on Computer Aided Design of Circuits and Systems, vol. 31, no. 8, pp. 1249–1262, 2012.
[bib]
[51] Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
Michael Beetz, Dominik Jain, Lorenz Mösenlechner and Moritz Tenorth, Lars Kunze, Nico Blodow and Dejan Pangercic, "Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence", Proceedings of the IEEE, vol. 100, no. 8, pp. 2454–2471, 2012.
[bib]

2011

[52] Effective Robustness Analysis Using Bounded Model Checking Techniques
Görschwin Fey, André Sülflow, Stefan Frehse and Rolf Drechsler, "Effective Robustness Analysis Using Bounded Model Checking Techniques", IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 30, no. 8, pp. 1239-1252, 2011.
[bib]

2009

[53] Advanced verification by automatic property generation
Frank Rogin and Thomas Klotz and Görschwin Fey and Rolf Drechsler and Steffen Rülke, "Advanced verification by automatic property generation", IET Computers & Digital Techniques, vol. 3, no. 4, pp. 338-353, 2009.
[bib]

2008

[54] Improved SAT-based Reachability Analysis with Observability Don't Cares
Sean Safarpour and Andreas G. Veneris and Rolf Drechsler, "Improved SAT-based Reachability Analysis with Observability Don't Cares", JSAT, vol. 5, no. 1-4, pp. 1-25, 2008.
[bib]