@article{FerreinRensPoel2009,
  author    = {Ferrein, Alexander and Rens, Gavin and Poel, Etienne van der},
  title     = {A BDI agent architecture for a POMDP planner / Rens, Gavin ; Ferrein, Alexander ; Poel, Etienne van der},
  pages     = {1 -- 6},
  year      = {2009},
  language  = {en}
}
@article{FerreinBeckLakemeyer2009,
  author    = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)},
  journal   = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)},
  publisher = {Springer},
  address   = {Heidelberg},
  isbn      = {978-3-642-02921-9},
  pages     = {25 -- 36},
  year      = {2009},
  language  = {en}
}
@article{FerreinSchifferLakemeyer2009,
  author    = {Ferrein, Alexander and Schiffer, Stefan and Lakemeyer, Gerhard},
  title     = {Embedding fuzzy controllers in golog / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard},
  series = {IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009},
  journal   = {IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009},
  publisher = {IEEE},
  address   = {New York},
  isbn      = {978-1-4244-3596-8},
  pages     = {894 -- 899},
  year      = {2009},
  language  = {en}
}
@inproceedings{FerreinSteinbauer2010,
  author    = {Ferrein, Alexander and Steinbauer, Gerald},
  title     = {On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog},
  series = {Simulation, Modeling, and Programming for Autonomous Robots},
  booktitle = {Simulation, Modeling, and Programming for Autonomous Robots},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-17319-6_23},
  pages     = {229 -- 240},
  year      = {2010},
  abstract  = {In order to allow an autonomous robot to perform non-trivial tasks like to explore a foreign planet the robot has to have deliberative capabilities like reasoning or planning. Logic-based approaches like the programming and planing language Golog and it successors has been successfully used for such decision-making problems. A drawback of this particular programing language is that their interpreter usually are written in Prolog and run on a Prolog back-end. Such back-ends are usually not available or feasible on resource-limited robot systems. In this paper we present our ideas and first results of a re-implementation of the interpreter based on the Lua scripting language which is available on a wide range of systems including small embedded systems.},
  language  = {en}
}
@inproceedings{RensVarzinczakMeyeretal.2010,
  author    = {Rens, Gavin and Varzinczak, Ivan and Meyer, Thomas and Ferrein, Alexander},
  title     = {A Logic for Reasoning about Actions and Explicit Observations},
  series = {AI 2010: Advances in Artificial Intelligence},
  booktitle = {AI 2010: Advances in Artificial Intelligence},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-17432-2_40},
  pages     = {395 -- 404},
  year      = {2010},
  abstract  = {We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o |α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o |α]ϕ mean 'after perceiving observation o, given α was performed, necessarily ϕ'. In this paper, we focus on the challenges concerning sensing with explicit observations, and acting with nondeterministic effects. We present the syntax and semantics, and a correct and decidable tableau calculus for the logic},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  series = {K{\"u}nstliche Intelligenz : KI},
  volume    = {24},
  journal   = {K{\"u}nstliche Intelligenz : KI},
  number    = {2},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1610-1987},
  doi       = {10.1007/s13218-010-0041-3},
  pages     = {175 -- 178},
  year      = {2010},
  abstract  = {In this extended abstract we describe the robot programming and planning language READYLOG, a GOLOG dialect which was developed to support the decision making of robots acting in dynamic real-time domains like robotic soccer. The formal framework of READYLOG, which is based on the situation calculus, features imperative control structures like loops and procedures, allows for decision-theoretic planning, and accounts for a continuously changing world. We developed high-level controllers in READYLOG for our soccer robots in RoboCup's Middle-size league, but also for service robots and for autonomous agents in interactive computer games.},
  language  = {en}
}
@inproceedings{NiemuellerFerreinBecketal.2010,
  author    = {Niem{\"u}ller, Tim and Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {Design principles of the component-based robot software framework Fawkes},
  series = {Simulation, Modeling, and Programming for Autonomous Robots},
  booktitle = {Simulation, Modeling, and Programming for Autonomous Robots},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-17319-6_29},
  pages     = {300 -- 311},
  year      = {2010},
  abstract  = {The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with robotics software usually is that it runs on a particular platform and transferring source code to another platform is crucial. In this paper, we present our software framework Fawkes which follows the component-based software design paradigm by featuring a clear component concept with well-defined communication interfaces. We deployed Fawkes on several different robot platforms ranging from service robots to biped soccer robots. Following the component concept with clearly defined communication interfaces shows great benefit when porting robot software from one robot to the other. Fawkes comes with a number of useful plugins for tasks like timing, logging, data visualization, software configuration, and even high-level decision making. These make it particularly easy to create and to debug productive code, shortening the typical development cycle for robot software.},
  language  = {en}
}
@inproceedings{NiemuellerFerreinLakemeyer2010,
  author    = {Niem{\"u}ller, Tim and Ferrein, Alexander and Lakemeyer, Gerhard},
  title     = {A Lua-based behavior engine for controlling the humanoid robot Nao},
  series = {RoboCup 2009: Robot Soccer World Cup XIII},
  booktitle = {RoboCup 2009: Robot Soccer World Cup XIII},
  publisher = {Springer},
  address   = {Berlin},
  doi       = {10.1007/978-3-642-11876-0_21},
  pages     = {240 -- 251},
  year      = {2010},
  abstract  = {The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while the bottom layer serves as driver for the hardware. In between is a layer with monitoring and reporting functionality. In this paper we propose a behaviour engine for this middle layer which, based on formalism of hybrid state machines (HSMs), bridges the gap between high-level strategic decision making and low-level actuator control. The behaviour engine has to execute and monitor behaviours and reports status information back to the higher level. To be able to call the behaviours or skills hierarchically, we extend the model of HSMs with dependencies and sub-skills. These Skill-HSMs are implemented in the lightweight but expressive Lua scripting language which is well-suited to implement the behaviour engine on our target platform, the humanoid robot Nao.},
  language  = {en}
}
@article{FerreinSiebelSteinbauer2010,
  author    = {Ferrein, Alexander and Siebel, Nils T. and Steinbauer, Gerald},
  title     = {Hybrid control for autonomous systems — Integrating learning, deliberation and reactive control},
  series = {Robotics and Autonomous Systems},
  volume    = {58},
  journal   = {Robotics and Autonomous Systems},
  number    = {9},
  publisher = {Elsevier},
  address   = {Amsterdam},
  issn      = {0921-8890},
  doi       = {10.1016/j.robot.2010.06.003},
  pages     = {1037 -- 1038},
  year      = {2010},
  language  = {en}
}
@article{NiemuellerFerreinEckeletal.2011,
  author    = {Niem{\"u}ller, Tim and Ferrein, Alexander and Eckel, Gerhard and Pirro, David and Podbregar, Patrick and Kellner, Tobias and Rath, Christoph and Steinbauer, Gerald},
  title     = {Providing Ground-truth Data for the Nao Robot Platform},
  series = {RoboCup 2010: Robot Soccer World Cup XIV},
  journal   = {RoboCup 2010: Robot Soccer World Cup XIV},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-642-20217-9},
  pages     = {133 -- 144},
  year      = {2011},
  language  = {en}
}