Boundary sketching with asymptotically optimal distance and rotation. (English) Zbl 07898967
MSC:
68Qxx
Found 68 Documents (Results 1–68)
Shortest coordinated motion for square robots. (English) Zbl 07789719
Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 430-443 (2023).
Boundary sketching with asymptotically optimal distance and rotation. (English) Zbl 07786527
Rajsbaum, Sergio (ed.) et al., Structural information and communication complexity. 30th international colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13892, 357-385 (2023).
On approximating shortest paths in weighted triangular tessellations. (English) Zbl 07702937
MSC:
68Txx
Distributed reactive motion control for dense cooperative sweep coverage of corridor environments by swarms of non-holonomic robots. (English) Zbl 07702120
Synthesis of trajectory planning algorithms using evolutionary optimization algorithms. (English) Zbl 07767935
Olenev, Nicholas (ed.) et al., Advances in optimization and applications. 13th international conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1739, 153-167 (2022).
Priority inheritance with backtracking for iterative multi-agent path finding. (English) Zbl 07570883
MSC:
68Txx
Multi-agent pathfinding with continuous time. (English) Zbl 07505972
MSC:
68Txx
Approximation algorithms for the single robot line coverage problem. (English) Zbl 1469.68119
Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 534-550 (2021).
Visualizing local minima in multi-robot motion planning using multilevel Morse theory. (English) Zbl 1469.68131
Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 502-517 (2021).
Synchronized multi-arm rearrangement guided by mode graphs with capacity constraints. (English) Zbl 1469.68135
Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 243-260 (2021).
Characterization and computation of feasible trajectories for an articulated probe with a variable-length end segment. (English) Zbl 1516.68102
Path planning for robotic teams based on LTL specifications and Petri net models. (English) Zbl 1441.93194
Rods and rings: soft subdivision planner for \(\mathbb{R}^3\times S^2\). (English) Zbl 07559243
Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 43, 17 p. (2019).
MSC:
68U05
Coordinated motion planning: reconfiguring a swarm of labeled robots with bounded stretch. (English) Zbl 1452.68240
Distributed sweep coverage algorithm of multi-agent systems using workload memory. (English) Zbl 1408.93016
Soft subdivision motion planning for complex planar robots. (English) Zbl 1521.68243
Azar, Yossi (ed.) et al., 26th annual European symposium on algorithms, ESA 2018, August 20–22, 2018, Helsinki, Finland. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 112, Article 73, 14 p. (2018).
Safe path planning of mobile robot based on improved A\(^*\) algorithm in complex terrains. (English) Zbl 1461.68232
An efficient algorithm for computing high-quality paths amid polygonal obstacles. (English) Zbl 1454.68150
Nonlinear control for reactive navigation of a nonholonomic robot for environmental nongradient-based extremum seeking in maze-like scenes. (English) Zbl 1379.93072
Chaotic traversal (CHAT): very large graphs traversal using chaotic dynamics. (English) Zbl 1382.68162
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. (English) Zbl 1423.68474
A method of reactive 3D navigation for a tight surface scan by a nonholonomic mobile robot. (English) Zbl 1351.93097
Kinematic control of a robot by using a non-autonomous chaotic system. (English) Zbl 1360.93482
Vaidyanathan, Sundarapandian (ed.) et al., Advances and applications in nonlinear control systems. Cham: Springer (ISBN 978-3-319-30167-9/hbk; 978-3-319-30169-3/ebook). Studies in Computational Intelligence 635, 1-17 (2016).
Soft subdivision search in motion planning. II: Axiomatics. (English) Zbl 1407.68493
Wang, Jianxin (ed.) et al., Frontiers in algorithmics. 9th international workshop, FAW 2015, Guilin, China, July 3–5, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9130, 7-22 (2015).
Mereology in engineering and computer science. (English) Zbl 1436.03177
Calosi, Claudio (ed.) et al., Mereology and the sciences. Parts and wholes in the contemporary scientific context. Cham: Springer. Synth. Libr. 371, 217-291 (2014).
Navigation of autonomous vehicles for oil spill cleaning in dynamic and uncertain environments. (English) Zbl 1322.93073
Decentralized sweep coverage algorithm for multi-agent systems with workload uncertainties. (English) Zbl 1364.93041
A method for reactive navigation of nonholonomic under-actuated robots in maze-like environments. (English) Zbl 1337.93060
Energy-optimal trajectory planning for robot manipulators with holonomic constraints. (English) Zbl 1238.93061
An efficient path planning and control algorithm for ruav’s in unknown and cluttered environments. (English) Zbl 1203.68283
Hybrid systems: From verification to falsification by combining motion planning and discrete search. (English) Zbl 1192.68692
Falsification of LTL safety properties in hybrid systems. (English) Zbl 1234.68264
Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 368-382 (2009).
The giving tree: Constructing trees for efficient offline and online multi-robot coverage. (English) Zbl 1185.68726
MSC:
68T40
Equal-area locus-based convex polygon decomposition. (English) Zbl 1143.68613
Shvartsman, Alexander A. (ed.) et al., Structural information and communication complexity. 15th international colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69326-0/pbk). Lecture Notes in Computer Science 5058, 141-155 (2008).
Randolphs robot game is NP-hard! (English) Zbl 1134.68370
Faigle, U. (ed.) et al., CTW2006. Cologne-Twente Workshop on graphs and combinatorial optimization, Lambrecht, Germany, June 5–9, 2006. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 25, 49-53 (2006).
Filter Results by …
Document Type
- Journal Articles (54)
- Collection Articles (14)
all
top 5
Author
- Yap, Chee-Keng (5)
- Chiang, Yi-Jen (4)
- Matveev, Alexey S. (4)
- Atzmon, Dor (3)
- Halperin, Dan (3)
- Olivares, Alberto E. (3)
- Savkin, Andrey V. (3)
- Staffetti, Ernesto (3)
- Agmon, Noa (2)
- Daescu, Ovidiu (2)
- Dani, Varsha (2)
- Esteban, Guillermo (2)
- Fox, Kyle (2)
- Gregory, John (2)
- Harabor, Daniel Damir (2)
- Islam, Abir (2)
- Kaminka, Gal A. (2)
- Kavraki, Lydia E. (2)
- Koenig, Sven (2)
- Li, Jiaoyang (2)
- Ovchinnikov, Kirill S. (2)
- Plaku, Erion (2)
- Saia, Jared (2)
- Salzman, Oren (2)
- Silveira, Rodrigo I. (2)
- Stern, Roni (2)
- Surynek, Pavel (2)
- Teo, Ka Yaw (2)
- Vardi, Moshe Ya’akov (2)
- Zhai, Chao (2)
- Adjiashvili, David (1)
- Agarwal, Pankaj Kumar (1)
- Agarwal, Saurav (1)
- Akella, Srinivas (1)
- Allauzen, Alexandre (1)
- Andreychuk, Anton (1)
- Beard, Randy (1)
- Bekris, Kostas E. (1)
- Bereg, Sergey N. (1)
- Bonami, Pierre (1)
- Bose, Prosenjit K. (1)
- Bouvry, Pascal (1)
- Brunner, Andrew Michael (1)
- Bucci, Michele Alessandro (1)
- Caraballo, Luis-Evaristo (1)
- Chang, Yizhe (1)
- Changaival, Boonyarit (1)
- Chatterjee, Krishnendu (1)
- Chen, Michael Z. Q. (1)
- Cherkasov, Vladislav (1)
- Chong, Nak Young (1)
- Choset, Howie (1)
- Cordier, Laurent (1)
- Cortés, Jorge (1)
- Danoy, Grégoire (1)
- Défago, Xavier (1)
- Demaine, Erik D. (1)
- Díaz-Báñez, Jose Miguel (1)
- Diveev, Askhat (1)
- Dvořák, Wolfgang (1)
- Elmaliach, Yehuda (1)
- Engels, Birgit (1)
- Fainekos, Georgios E. (1)
- Fekete, Sándor P. (1)
- Felner, Ariel (1)
- Ferrari, Silvia (1)
- Fomin, Fedor V. (1)
- Franco, Carlos (1)
- Gabriely, Yoav (1)
- Gan, Seng Keat (1)
- Gange, Graeme (1)
- Gao, Chunqing (1)
- García-Bouso, Ana (1)
- Gasparri, Andrea (1)
- Girard, Antoine (1)
- Golovach, Petr A. (1)
- Hazon, Noam (1)
- Hemmer, Michael (1)
- Hong, Yiguang (1)
- Hoy, Michael Colin (1)
- Hsu, Ching-Hsiang (1)
- Hu, Yue (1)
- Jin, Xin (1)
- Juba, Brendan (1)
- Kamphans, Thomas (1)
- Keldenich, Phillip (1)
- Kim, Seungkeun (1)
- Klein, Rolf-Dieter (1)
- Kloetzer, Marius (1)
- Konovalov, P. A. (1)
- Kou, Yingxin (1)
- Kress-Gazit, Hadas (1)
- Kriesel, David (1)
- Krishnamachari, Bhaskar (1)
- Langetepe, Elmar (1)
- Lavangnananda, Kittichai (1)
- Lee, Geunho (1)
- Li, Ming-Long (1)
- Li, You (1)
- Li, Zhanwu (1)
- and 73 more Authors
all
top 5
Serial
- Ann. Math. Artif. Intell. (7)
- Artif. Intell. (6)
- Automatica (5)
- Comput. Geom. (4)
- Int. J. Control (3)
- Theor. Comput. Sci. (3)
- Syst. Control Lett. (2)
- J. Intell. Robot. Syst. (2)
- J. Artif. Intell. Res. (JAIR) (2)
- J. Optim. Theory Appl. (1)
- SIAM J. Comput. (1)
- Comput. Aided Geom. Des. (1)
- Algorithmica (1)
- Discrete Comput. Geom. (1)
- Int. J. Comput. Geom. Appl. (1)
- Discrete Event Dyn. Syst. (1)
- Int. J. Robust Nonlinear Control (1)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (1)
- Form. Methods Syst. Des. (1)
- Top (1)
- Complexity (1)
- Math. Probl. Eng. (1)
- Eur. J. Control (1)
- J. Comb. Optim. (1)
- J. Field Robot. (1)
- Algorithms (Basel) (1)
- ACM Trans. Algorithms (1)
- Int. J. Syst. Sci., Princ. Appl. Syst. Integr. (1)
- Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. (1)
all
top 3
Software
- OMPL (6)
- CGAL (5)
- Walksat (3)
- Glucose (2)
- Gurobi (2)
- SPIN (2)
- SqFreeEVAL (2)
- core 2 (2)
- Algorithm 97 (1)
- Anya (1)
- Azucar (1)
- BARON (1)
- BGL (1)
- Benchmarks (1)
- Boids (1)
- Bonmin (1)
- Boolector (1)
- Boost (1)
- COPL_DSDP (1)
- CPLEX (1)
- CRBG (1)
- DIMACS (1)
- DiFi (1)
- Diehard (1)
- Find (1)
- GLPK (1)
- GSL (1)
- GWO (1)
- Gecode (1)
- Graphplan (1)
- HSolver (1)
- HyTech (1)
- Ipopt (1)
- Kronos (1)
- LERS (1)
- LTL2BA (1)
- LTLCon (1)
- MPFR (1)
- Matlab (1)
- MersenneTwister (1)
- NetworkX (1)
- OBBTree (1)
- OTIS (1)
- RSOLVER (1)
- SBB (1)
- SODAS (1)
- SPOT (1)
- Sugar (1)
- Theta* (1)
- UMDES (1)
- Uppaal (1)
- d/dt (1)
- gmp (1)
- minlpBB (1)
