Deliberation for autonomous robots: A survey by Ingrand, Félix, Ghallab, Malik

Get full text

A formal toolchain for offline and run-time verification of robotic systems by Dal Zilio, Silvano, Hladik, Pierre-Emmanuel, Ingrand, Félix, Mallet, Anthony

Get full text

Hippo: A formal-model execution engine to control and verify critical real-time systems by Hladik, Pierre-Emmanuel, Ingrand, Félix, Dal Zilio, Silvano, Tekin, Reyyan

Get full text

Robotics and artificial intelligence: A perspective on deliberation functions by Ingrand, Félix, Ghallab, Malik

Get full text

Rigorous design of robot software: A formal component-based approach by Abdellatif, Tesnim, Bensalem, Saddek, Combaz, Jacques, de Silva, Lavindra, Ingrand, Felix

Get full text

Unified Planning: Modeling, manipulating and solving AI planning problems in Python by Micheli, Andrea, Bit-Monnot, Arthur, Röger, Gabriele, Scala, Enrico, Valentini, Alessandro, Framba, Luca, Rovetta, Alberto, Trapasso, Alessandro, Bonassi, Luigi, Gerevini, Alfonso Emilio, Iocchi, Luca, Ingrand, Felix, Köckemann, Uwe, Patrizi, Fabio, Saetti, Alessandro, Serina, Ivan, Stock, Sebastian

Get full text

Learning the behavior model of a robot by Infantes, Guillaume, Ghallab, Malik, Ingrand, Félix

Get full text

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms by Foughali, Mohammed, Berthomieu, Bernard, Dal Zilio, Silvano, Hladik, Pierre-Emmanuel, Ingrand, Felix, Mallet, Anthony

Request full text

A cooperative architecture for target localization using multiple AUVs by Belbachir, Assia, Ingrand, Félix, Lacroix, Simon

Get full text

Decisional autonomy of planetary rovers by Ingrand, Félix, Lacroix, Simon, Lemai-Chenevier, Solange, Py, Frederic

Get full text

Designing autonomous robots by Bensalem, S., Gallien, M., Ingrand, F., Kahloul, I., Nguyen Thanh-Hung

Get full text

GenoM3: Building middleware-independent robotic components by Mallet, Anthony, Pasteur, Cédric, Herrb, Matthieu, Lemaignan, Séverin, Ingrand, Félix

Request full text

An execution control system for autonomous robots by Ingrand, Felix, Py, Frederic

Get full text

The ExoMars rover and Pasteur payload Phase A study: an approach to experimental astrobiology by Barnes, Dave, Battistelli, Enrico, Bertrand, Reinhold, Butera, Francesco, Chatila, Raja, Del Biancio, Alessandro, Draper, Chris, Ellery, Alex, Gelmi, Rolando, Ingrand, Felix, Koeck, Charles, Lacroix, Simon, Lamon, Pierre, Lee, Chris, Magnani, Piergiovanni, Patel, Nildeep, Pompei, Carlo, Re, Eduardo, Richter, Lutz, Rowe, Mark, Siegwart, Roland, Slade, Richard, F Smith, Mark, Terrien, Gregoire, Wall, Ronan, Ward, Roger, Waugh, Lester, Woods, Mark

Get full text

An Architecture for Autonomy by Alami, R., Chatila, R., Fleury, S., Ghallab, M., Ingrand, F.

Get full text

PROSKILL: A formal skill language for acting in robotics by Ingrand, Félix

Get full text

Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges by Alami, R., Albu-Schaeffer, A., Bicchi, A., Bischoff, R., Chatila, R., De Luca, A., De Santis, A., Giralt, G., Guiochet, J., Hirzinger, G., Ingrand, F., Lippiello, V., Mattone, R., Powell, D., Sen, S., Siciliano, B., Tonietti, G., Villani, L.

Request full text

Planning and Acting with Temporal and Hierarchical Decomposition Models by Dvorak, Filip, Bartak, Roman, Bit-Monnot, Arthur, Ingrand, Felix, Ghallab, Malik

Request full text

Automatic Generation of Observers for the Dala Robot with TTG by Bensalem, Saddek, Bozga, Marius, Gallien, Matthieu, Ingrand, Francois Felix, Krichen, Moez, Tripakis, Stavros

Get full text

Multi-robot cooperation in the MARTHA project by Alami, R., Fleury, S., Herrb, M., Ingrand, F., Robert, F.

Get full text