A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems von Doherty, Patrick, Kvarnström, Jonas, Heintz, Fredrik

Volltext

Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles von Burdakov, Oleg, Kvarnström, Jonas, Doherty, Patrick

Volltext

A Modeling Framework for Troubleshooting Automotive Systems von Warnquist, Håkan, Kvarnström, Jonas, Doherty, Patrick

Volltext

Relay Positioning for Unmanned Aerial Vehicle Surveillance von Burdakov, Oleg, Doherty, Patrick, Holmberg, Kaj, Kvarnström, Jonas, Olsson, Per-Magnus

Volltext

Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification von Nilsson, Mikael, Kvarnström, Jonas, Doherty, Patrick

Volltext

Bridging the sense-reasoning gap: DyKnow – Stream-based middleware for knowledge processing von Heintz, Fredrik, Kvarnström, Jonas, Doherty, Patrick

Volltext

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs von Doherty, Patrick, Kvarnström, Jonas, Szalas, Andrzej

Volltext

Revisiting Classical Dynamic Controllability: A Tighter Complexity Analysis von Nilsson, Mikael, Kvarnström, Jonas, Doherty, Patrick

Volltext

A Collaborative Framework for 3D Mapping Using Unmanned Aerial Vehicles von Doherty, Patrick, Kvarnström, Jonas, Rudol, Piotr, Wzorek, Marius, Conte, Gianpaolo, Berger, Cyrille, Hinzmann, Timo, Stastny, Thomas

Volltext

Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance von Burdakov, Oleg, Doherty, Patrick, Kvarnström, Jonas

Volltext bestellen

A Low-Level Active Vision Framework for Collaborative Unmanned Aircraft Systems von Danelljan, Martin, Khan, Fahad Shahbaz, Felsberg, Michael, Granström, Karl, Heintz, Fredrik, Rudol, Piotr, Wzorek, Mariusz, Kvarnström, Jonas, Doherty, Patrick

Volltext

TALplanner A Temporal Logic‐Based Planner von Doherty, Patrick, Kvarnström, Jonas

Volltext

A stream-based hierarchical anchoring framework von Heintz, F., Kvarnstrom, J., Doherty, P.

Volltext

Stream-Based Reasoning Support for Autonomous Systems von Heintz, Fredrik, Kvarnström, Jonas, Doherty, Patrick

Volltext

Area Coverage with Heterogeneous UAVs using Scan Patterns von Berger, Cyrille, Wzorek, Mariusz, Kvarnström, Jonas, Conte, Gianpaolo, Doherty, Patrick, Eriksson, Alexander

Volltext bestellen

Knowledge Processing Middleware von Heintz, Fredrik, Kvarnström, Jonas, Doherty, Patrick

Volltext

Iterative Bounding LAO von Warnquist, Håkan, Kvarnström, Jonas, Doherty, Patrick

Volltext

Selected Functionalities for Autonomous Intelligent Systems in Public Safety Scenarios von Wzorek, Mariusz

Volltext bestellen

Tackling the Qualification Problem using Fluent Dependency Constraints von Kvarnström, Jonas, Doherty, Patrick

Volltext

TALplanner: A temporal logic based forward chaining planner von Kvarnström, Jonas, Doherty, Patrick

Volltext