Found 5,262 Documents (Results 1–100)
Long-time behavior of solution for the reformulated non-autonomous Ericksen-Leslie system. (English) Zbl 07923045
Dynamics of the non-autonomous wave equations with nonlocal weak damping and critical nonlinearity. (English) Zbl 07923037
Modeling framework of human driving behavior based on deep maximum entropy inverse reinforcement learning. (English) Zbl 07930365
MSC:
82-XX
Optimizing power-efficiency dynamics in ambient energy harvesting: exploring trade-offs, linearity, and synergy. (English) Zbl 07930364
MSC:
82-XX
Existence and limit behavior of normalized ground state solutions for a class of non-autonomous Kirchhoff equations. (English) Zbl 07930175
Research on visual spherical mobile robot system based on object autonomous recognition. (English) Zbl 07929704
Wang, Wei (ed.) et al., Communications, signal processing, and systems. Proceedings of the 12th international conference, September 6–8, 2023. Volume 2. Singapore: Springer. Lect. Notes Electr. Eng. 1033, 249-255 (2024).
MSC:
93-XX
UAV autonomous landing pose estimation using monocular vision based on cooperative identification and scene reconstruction. (English) Zbl 07929658
Wang, Wei (ed.) et al., Communications, signal processing, and systems. Proceedings of the 12th international conference, September 6–8, 2023. Volume 1. Singapore: Springer. Lect. Notes Electr. Eng. 1032, 443-456 (2024).
MSC:
94A12
Josephy’s theorem, revisited. (English) Zbl 07925114
Stability analysis of a COVID-19 SEIQR model with switching constant transmission rates. (English) Zbl 07924238
Vlachos, Dimitrios (ed.), Mathematical modeling in physical sciences. 12th IC-MSQUARE, Belgrade, Serbia, August 28–31, 2023. Cham: Springer. Springer Proc. Math. Stat. 446, 571-583 (2024).
MSC:
92C60
Further studies of topological transitivity in non-autonomous discrete dynamical systems. (English) Zbl 07924012
Weighted non-autonomous \(L^q(L^p)\) maximal regularity for complex systems under mixed regularity in space and time. (English) Zbl 07923488
All meromorphic solutions of the autonomous Schwarzian differential equations. (English) Zbl 07922706
Stability of pullback exponential attractors for non-autonomous extensible suspension bridge equations. (English) Zbl 07922063
Forward dynamics of strongly wave equations with asymptotically vanishing damping on \(\mathbb{R}^3\). (English) Zbl 07922037
Reinforcement learning-based adaptive motion control for autonomous vehicles via actor-critic structure. (English) Zbl 07920728
Sufficient conditions for the existence and uniqueness of maximal attractors for autonomous and nonautonomous dynamical systems. (English) Zbl 07920487
Enriched Koszul duality. (English) Zbl 07919892
Pathwise property of 2D non-autonomous stochastic Navier-Stokes equations with less regular or irregular noise. (English) Zbl 07919094
Reversing along a curved path by an autonomous truck-semitrailer combination. (English) Zbl 07918085
Lacarbonara, Walter (ed.), Advances in nonlinear dynamics. Proceedings of the third international nonlinear dynamics conference, NODYCON 2023, Rome, Italy, June 18–22, 2023. Volume II. Cham: Springer. NODYCON Conf. Proc. Ser., 105-115 (2024).
MSC:
93-XX
Dynamics of a modified Leslie-Gower Holling-type II eco-epidemiological model on time scales. (English) Zbl 07916304
A spatiotemporal optimization method for connected and autonomous vehicle operations in long tunnel constructions. (English) Zbl 07916123
MSC:
82-XX
Heterogeneous traffic flow of expressway with level 2 autonomous vehicles considering moving bottlenecks. (English) Zbl 07916084
MSC:
82-XX
Pullback exponential attractors in nonlocal Mindlin’s strain gradient porous elasticity. (English) Zbl 07915867
Existence and approximate controllability results for second-order impulsive stochastic neutral differential systems. (English) Zbl 07915821
A convex and robust distributed model predictive control for heterogeneous vehicle platoons. (English) Zbl 1542.93097
Space-time graph planner for unsignalized intersections with CAVs. (English) Zbl 07914088
Wu, Weili (ed.) et al., Combinatorial optimization and applications. 16th international conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14461, 498-511 (2024).
MSC:
90C27
Bimonoidal categories, \(E_n\)-monoidal categories, and algebraic \(K\)-theory. Volume I: symmetric bimonoidal categories and monoidal bicategories. (English) Zbl 07913507
Mathematical Surveys and Monographs 283. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-7809-4/pbk; 978-1-4704-7846-9/ebook; 978-1-4704-7941-1/pbk-set). xxxii, 1520 p. (2024).
A novel dynamic and aerodynamic intelligent morphing system (DA-IMS) for the stability of an autonomous utility truck with the boom equipment. (English) Zbl 07907902
Azimov, Dilmurat (ed.), Proceedings of the IUTAM symposium on optimal guidance and control for autonomous systems 2023. Cham: Springer. IUTAM Bookser. 40, 395-413 (2024).
Lower semicontinuity of pullback attractors for a non-autonomous coupled system of strongly damped wave equations. (English) Zbl 07906407
Repeated \(S\)-shaped and \(\Sigma\)-shaped bifurcation curves for the one-dimensional non-autonomous Minkowski-curvature problem. (English) Zbl 07905812
Reviewer: Yang Yang (Wuxi)
Approximate controllability of non-autonomous evolution system with infinite delay. (English) Zbl 07905349
Non-autonomous fractional nonlocal evolution equations with superlinear growth nonlinearities. (English) Zbl 07903718
Anti-disturbance cooperative formation containment control for multiple autonomous underwater vehicles with collision-free and actuator saturation constraints. (English) Zbl 1543.93253
Piecewise-linear car-following with heterogeneous agent dynamics: consensus and emerging collective behaviors. (English) Zbl 07901990
MSC:
82-XX
Local well-posedness of abstract hyperbolic equation with Lipschitz perturbation and non-autonomous operator. (English) Zbl 07901130
Traffic flow bifurcation control of autonomous vehicles through a hybrid control strategy combining multi-step prediction and memory mechanism with PID. (English) Zbl 07900558
Controllability of a second-order impulsive neutral differential equation via resolvent operator technique. (English) Zbl 07900167
Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots. (English) Zbl 07900116
Stability analysis of homogeneous cooperative positive differential systems with time-varying delays and its generalization. (English) Zbl 1542.93319
Stability and boundedness of solutions of certain lienard-type non-autonomous differential equations. (English) Zbl 1542.34043
On a sharper bound on the stability of non-autonomous Schrödinger equations and applications to quantum control. (English) Zbl 07895013
Prescribed-time collective evader-capturing for autonomous surface vehicles. (English) Zbl 1542.93354
Adaptive path planning and tracking system based on model predictive control for autonomous vehicle local obstacle avoidance. (English) Zbl 07892565
MSC:
93-XX
Optimal trajectories in \(L^1\) and under \(L^1\) penalizations. (Trajectoires optimales dans \(L^1\) et sous pénalisation de type \(L^1\).) (English. French summary) Zbl 07887266
Autonomous robot vacuum system composed of a cleaner robot and a dust storage robot. (English) Zbl 1543.93259
MSC:
93C85
Segmented hybrid event-triggered control for underactuated autonomous underwater vehicles with an asymmetrical prescribed performance constraint. (English) Zbl 1543.93244
Novel path planning method using marine predator algorithm for mobile robot. (English) Zbl 1543.93273
MSC:
93C85
Refrigeration by modified Otto cycles and modified swaps through generalized measurements. (English) Zbl 07885510
Adaptive practical fixed-time synchronized tracking control of ASV with prescribed performance. (English) Zbl 07883019
Normalized solutions of non-autonomous Schrödinger equations involving Sobolev critical exponent. (English) Zbl 1543.35225
Reliability-based mixed traffic equilibrium problem under endogenous market penetration of connected autonomous vehicles and uncertainty in supply. (English) Zbl 07878212
On the asymptotic behavior of thermoelastic plate with terms concentrated in the boundary. (English) Zbl 07878127
A stochastic non-autonomous chemostat model with mean-reverting Ornstein-Uhlenbeck process on the washout rate. (English) Zbl 07876096
A uniform approach to compare architectures in decentralized discrete-event systems. (English) Zbl 07875740
Cooperative energy and time-optimal lane change maneuvers with minimal highway traffic disruption. (English) Zbl 07875719
Combined longitudinal and lateral dynamics regulation of autonomous vehicles via induced \(\mathcal{L}_2\)-gain linear parameter varying control strategies based on parameter-dependent Lyapunov functions. (English) Zbl 1540.93074
Personalized driving behavior oriented autonomous vehicle control for typical traffic situations. (English) Zbl 1541.93237
Examples of autonomous differential systems with contrasting combinations of Lyapunov, Perron, and upper-limit stability measures. (English. Russian original) Zbl 07868321
Mosc. Univ. Math. Bull. 79, No. 1, 55-59 (2024); translation from Vestn. Mosk. Univ., Ser. I 79, No. 1, 50-54 (2024).
Coupled system of second-order stochastic differential inclusions driven by Lévy noise. (English) Zbl 1540.34124
Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control. (English) Zbl 07866929
Solving the unit-load pre-marshalling problem in block stacking storage systems with multiple access directions. (English) Zbl 07865022
MSC:
90Bxx
Adaptive event-triggered based path following output feedback control for networked autonomous vehicles. (English) Zbl 1543.93202
Multi-AUV heterogeneous bipartite consensus formation obstacle avoidance algorithm based on event triggering-RMPC under measurement-communication union framework. (English) Zbl 07864037
Existence and regularity of solutions for non-autonomous integrodifferential evolution equations involving nonlocal conditions. (English) Zbl 07863321
Improving critical buildings energy resilience via shared autonomous electric vehicles – a sequential optimization framework. (English) Zbl 07860777
MSC:
90Bxx
A uniform semiglobal exponential stable adaptive line-of-sight (ALOS) guidance law for 3-D path following. (English) Zbl 1537.93603
Intermittent phase dynamics of non-autonomous oscillators through time-varying phase. (English) Zbl 07855422
Switching-like event-triggered tracking control for UAH/UGV systems under external disturbance and DoS attacks. (English) Zbl 1537.93499
Containment control of networked heterogeneous autonomous surface vehicles: a data-driven control approach. (English) Zbl 1537.93422
Multi-variable and multi-objective gain-scheduled control based on Youla-Kucera parameterization: application to autonomous vehicles. (English) Zbl 1537.93371
Optimal time-invariant distributed formation tracking for second-order multi-agent systems. (English) Zbl 1537.93052
Orbital stability of small periodic solutions of an autonomous system of differential equations. (English. Russian original) Zbl 1543.34020
J. Math. Sci., New York 281, No. 3, 343-352 (2024); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 185, 3-12 (2020).
Flatness-based control in successive loops for robotic manipulators and autonomous vehicles. (English) Zbl 1537.93525
Conflict-free electric vehicle routing problem: an improved compositional algorithm. (English) Zbl 07854381
MSC:
90C27
Adaptive virtual leader-leader-follower based formation switching for multiple autonomous tracked mobile robots in unknown obstacle environments. (English) Zbl 1539.93094
The limit cycles for a class of non-autonomous piecewise differential equations. (English) Zbl 07851493
Reviewer: Changjian Liu (Zhuhai)
MSC:
34C25
Smooth Lyapunov manifolds for autonomous systems of nonlinear ordinary differential equations and their application to solving singular boundary value problems. (English) Zbl 07849580
Reviewer: Cemil Tunç (Van)
Application of the second Lyapunov method for getting the conditions of stability in systems with quadratic right-hand side. (English. Ukrainian original) Zbl 07849490
Ukr. Math. J. 75, No. 12, 1918-1931 (2024); translation from Ukr. Mat. Zh. 75, No. 12, 1697-1708 (2023).
Reviewer: Oleg Anashkin (Simferopol)
MSC:
34D23
Saturated formation containment control for a heterogeneous multi-agent system with unknown perturbations. (English) Zbl 1539.93148
Sliding mode control for systems with zero-crossing control gain under matched and mismatched disturbances. (English) Zbl 1539.93031
Blockage-free storage assignment and storage/retrieval scheduling in autonomous vehicle storage and retrieval systems. (English) Zbl 1539.90011
Modeling the mixed traffic capacity of minor roads at a priority intersection. (English) Zbl 07845788
MSC:
82-XX
Modeling the road network capacity in a mixed HV and CAV environment. (English) Zbl 07845785
MSC:
82-XX
Filter Results by …
Document Type
- Journal Articles (4,534)
- Collection Articles (552)
- Books (165)
- arXiv Preprints (11)
all
top 5
Author
- Caraballo Garrido, Tomás (30)
- Huseyin, Koncay (27)
- Kloeden, Peter Eris (23)
- Borysenko, Oleksandr Danylovych (18)
- Barr, Michael (17)
- Khartovskiĭ, Vadim Evgen’evich (16)
- Borysenko, Olga V. (15)
- Metel’skij, A. V. (15)
- Amel’kin, Vladimir Vasilievich (14)
- Feng, Zhaosheng (14)
- Cheban, David Nikolai (13)
- Chen, Pengyu (13)
- Zhang, Xuping (13)
- Freedman, Herbert Irving (12)
- Langa, Jose’ Antonio (12)
- Yu, Pei (12)
- Aulbach, Bernd (11)
- Gorbuzov, Viktor Nikolaevich (11)
- Hale, Jack Kenneth (11)
- Llibre, Jaume (11)
- Silvestre, Carlos J. (11)
- Tunç, Cemil (11)
- Valero, José (11)
- Zhou, Shengfan (11)
- Chen, Guanrong (10)
- Kovalëv, Aleksandr Mikhaĭlovich (10)
- Krishchenko, Alexander P. (10)
- Li, Yongxiang (10)
- Marín-Rubio, Pedro (10)
- Obaya, Rafael (10)
- Ouhabaz, El Maati (10)
- Real Anguas, José (10)
- Steeb, Willi-Hans (10)
- Akhmet, Marat Ubaydulla (9)
- Dimarogonas, Dimos V. (9)
- Gopalsamy, Kondalsamy (9)
- Hamad, Hanaa (9)
- Leonov, Gennadiĭ Alekseevich (9)
- Li, Xiaojun (9)
- Ma, Qiaozhen (9)
- Martynyuk, Anatoliĭ Andriĭovych (9)
- Nolasco de Carvalho, Alexandre (9)
- Smith, Russell A. (9)
- Sun, Chunyou (9)
- Arendt, Wolfgang (8)
- Bainov, Drumi Dimitrov (8)
- Belozyorov, Vasiliy Ye. (8)
- Blanes, Sergio (8)
- Chuĭko, Sergeĭ Mikhaĭlovich (8)
- Dier, Dominik (8)
- Egorov, I. G. (8)
- Han, Xiaoying (8)
- Kounadis, Anthony N. (8)
- Laasri, Hafida (8)
- Nascimento, Marcelo Jose Dias (8)
- Samoĭlenko, Anatoliĭ Mykhaĭlovych (8)
- Simsen, Jacson (8)
- Tsukamoto, Ichiro (8)
- Valcher, Maria Elena (8)
- Wang, Xuan (8)
- Zanolin, Fabio (8)
- Zhao, Wenqiang (8)
- Adhikary, Ranendu (7)
- Berdyshev, Vitaliĭ Ivanovich (7)
- Berkovich, Lev M. (7)
- Bose, Kaustav (7)
- Chua, Leon Ong (7)
- Cortés López, Juan Carlos (7)
- Idels, Lev V. (7)
- Krechetov, G. S. (7)
- Kundu, Manash Kumar (7)
- Lewis, Frank Leroy (7)
- Pötzsche, Christian (7)
- Sau, Buddhadeb (7)
- Selgrade, James F. (7)
- Thieme, Horst R. (7)
- Wang, Ke (7)
- Yamashita, Masafumi (7)
- Abou-El-Ela, A. M. A. (6)
- Acquistapace, Paolo (6)
- Argyros, Ioannis Konstantinos (6)
- Arino, Ovide (6)
- Batista, Pedro (6)
- Berezansky, Leonid M. (6)
- Bezerra, Flank David Morais (6)
- Bobylev, Nikolaĭ Antonovich (6)
- Bozis, George (6)
- Chavarriga, Javier (6)
- Chepyzhov, Vladimir V. (6)
- Cherkas, Leonid A. (6)
- Damak, Hanen (6)
- Flocchini, Paola (6)
- Gavioli, Andrea (6)
- Giné, Jaume (6)
- Grammaticos, Basil (6)
- Hatvani, László (6)
- Khusainov, Denis Ya. (6)
- Krawcewicz, Wieslaw Z. (6)
- Ladas, Gerasimos E. (6)
- Leach, Peter Gavin Lawrence (6)
- and 7,595 more Authors
all
top 5
Serial
- Automatica (116)
- J. Math. Anal. Appl. (97)
- J. Differ. Equations (95)
- Differ. Equations (85)
- Appl. Math. Comput. (65)
- J. Franklin Inst. (49)
- Discrete Contin. Dyn. Syst., Ser. B (49)
- Nonlinear Dyn. (48)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (46)
- J. Difference Equ. Appl. (45)
- J. Appl. Math. Mech. (44)
- IEEE Trans. Autom. Control (43)
- Int. J. Robust Nonlinear Control (42)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (42)
- Differ. Uravn. (41)
- God. Vissh. Uchebn. Zaved., Prilozh. Mat. (36)
- Nonlinear Anal., Theory Methods Appl. (36)
- Autom. Remote Control (35)
- Electron. J. Differ. Equ. (34)
- Asian J. Control (34)
- Int. J. Control (33)
- Physica A (31)
- Differ. Equ. (31)
- Syst. Control Lett. (30)
- Discrete Contin. Dyn. Syst. (30)
- Commun. Nonlinear Sci. Numer. Simul. (29)
- Artif. Intell. (27)
- Comput. Math. Appl. (26)
- Proc. R. Soc. Edinb., Sect. A, Math. (26)
- J. Dyn. Differ. Equations (26)
- Chaos Solitons Fractals (25)
- Physica D (25)
- J. Math. Phys. (23)
- Z. Angew. Math. Phys. (23)
- Appl. Math. Lett. (23)
- J. Intell. Robot. Syst. (23)
- Int. J. Non-Linear Mech. (22)
- Int. J. Syst. Sci. (22)
- Dokl. Math. (21)
- Nonlinear Anal., Real World Appl. (21)
- Phys. Lett., A (20)
- Ukr. Math. J. (20)
- Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka (20)
- Math. Methods Appl. Sci. (19)
- Ann. Differ. Equations (19)
- IET Control Theory Appl. (19)
- J. Comput. Appl. Math. (18)
- Theor. Comput. Sci. (18)
- Appl. Math. Modelling (18)
- J. Phys. A, Math. Gen. (18)
- Theory Appl. Categ. (18)
- Eur. J. Control (18)
- Commun. Pure Appl. Anal. (18)
- Differ. Integral Equ. (17)
- Eur. J. Oper. Res. (17)
- Math. Biosci. (16)
- Nonlinearity (16)
- Proc. Am. Math. Soc. (16)
- SIAM J. Control Optim. (16)
- Appl. Math. Mech., Engl. Ed. (16)
- Int. J. Adapt. Control Signal Process. (16)
- J. Artif. Intell. Res. (JAIR) (16)
- Ukr. Mat. Zh. (15)
- Adv. Difference Equ. (15)
- Differ. Uravn. Protsessy Upr. (14)
- J. Phys. A, Math. Theor. (14)
- Appl. Anal. (13)
- J. Pure Appl. Algebra (13)
- Chin. Ann. Math., Ser. A (13)
- Acta Appl. Math. (13)
- Celest. Mech. (13)
- SIAM J. Appl. Math. (13)
- SIAM J. Math. Anal. (13)
- Int. J. Syst. Sci., Princ. Appl. Syst. Integr. (13)
- Inf. Sci. (12)
- Acta Math. Appl. Sin. (12)
- Math. Comput. Modelling (12)
- J. Comput. Syst. Sci. Int. (12)
- Discrete Contin. Dyn. Syst., Ser. S (12)
- Mekh. Tverd. Tela (11)
- Z. Angew. Math. Mech. (11)
- Ann. Mat. Pura Appl. (4) (11)
- J. Optim. Theory Appl. (11)
- SIAM J. Numer. Anal. (11)
- Trans. Am. Math. Soc. (11)
- Mat. Fiz. (11)
- Acta Mech. (10)
- J. Math. Biol. (10)
- Math. Notes (10)
- Robot. Auton. Syst. (10)
- Linear Algebra Appl. (10)
- C. R. Acad. Sci., Paris, Sér. I (10)
- Celest. Mech. Dyn. Astron. (10)
- Zag. Drgań Nieliniowych (10)
- Classical Quantum Gravity (9)
- Dokl. Akad. Nauk BSSR (9)
- IEEE Trans. Circuits Syst. (9)
- Math. Comput. Simul. (9)
- Mech. Res. Commun. (9)
- Int. J. Comput. Math. (9)
- and 959 more Serials
all
top 5
Year of Publication
- 2025 (3)
- 2024 (144)
- 2023 (176)
- 2022 (193)
- 2021 (157)
- 2020 (194)
- 2019 (148)
- 2018 (133)
- 2017 (157)
- 2016 (144)
- 2015 (119)
- 2014 (134)
- 2013 (137)
- 2012 (138)
- 2011 (135)
- 2010 (156)
- 2009 (148)
- 2008 (143)
- 2007 (103)
- 2006 (76)
- 2005 (60)
- 2004 (58)
- 2003 (65)
- 2002 (75)
- 2001 (94)
- 2000 (95)
- 1999 (90)
- 1998 (75)
- 1997 (87)
- 1996 (93)
- 1995 (97)
- 1994 (96)
- 1993 (98)
- 1992 (100)
- 1991 (96)
- 1990 (80)
- 1989 (88)
- 1988 (101)
- 1987 (127)
- 1986 (107)
- 1985 (113)
- 1984 (102)
- 1983 (92)
- 1982 (89)
- 1981 (82)
- 1980 (86)
- 1979 (83)
- 1978 (52)
- 1977 (22)
- 1976 (8)
- 1975 (1)
- 1973 (1)
- 1967 (4)
- 1965 (2)
- 1964 (1)
- 1962 (2)
- 1960 (2)
all
top 3
Main Field
- 34-XX (2,099)
- 93-XX (1,172)
- 37-XX (995)
- 35-XX (598)
- 68-XX (577)
- 70-XX (471)
- 92-XX (373)
- 65-XX (332)
- 47-XX (255)
- 90-XX (222)
- 39-XX (184)
- 49-XX (154)
- 60-XX (147)
- 76-XX (122)
- 91-XX (119)
- 18-XX (101)
- 74-XX (78)
- 03-XX (77)
- 94-XX (74)
- 58-XX (66)
- 45-XX (56)
- 82-XX (51)
- 81-XX (41)
- 46-XX (40)
- 00-XX (34)
- 26-XX (34)
- 54-XX (33)
- 53-XX (32)
- 05-XX (30)
- 62-XX (29)
- 06-XX (25)
- 15-XX (25)
- 83-XX (21)
- 16-XX (20)
- 80-XX (20)
- 78-XX (18)
- 28-XX (16)
- 20-XX (15)
- 14-XX (14)
- 86-XX (13)
- 11-XX (12)
- 30-XX (11)
- 22-XX (10)
- 42-XX (10)
- 12-XX (9)
- 17-XX (9)
- 57-XX (9)
- 43-XX (8)
- 33-XX (7)
- 01-XX (6)
- 41-XX (6)
- 44-XX (6)
- 32-XX (5)
- 55-XX (5)
- 85-XX (5)
- 19-XX (4)
- 52-XX (4)
- 13-XX (3)
- 08-XX (2)
- 51-XX (2)
- 31-XX (1)
- 40-XX (1)
Biographic Reference
all
top 3
Software
- Matlab (29)
- AUTO (17)
- GitHub (17)
- Simulink (16)
- Maple (13)
- Mathematica (10)
- Boids (9)
- AUTO-86 (8)
- Gurobi (8)
- YALMIP (8)
- RODAS (7)
- CPLEX (6)
- MACSYMA (6)
- CARLA (5)
- Carsim (5)
- GAZEBO (5)
- ImageNet (5)
- Isabelle/HOL (5)
- OpenStreetMap (5)
- PyTorch (5)
- Sprott's Software (5)
- Uppaal (5)
- AlexNet (4)
- GWO (4)
- Ipopt (4)
- MuJoCo (4)
- OpenAI Gym (4)
- PRMLT (4)
- SIFT (4)
- SUMO (4)
- SymbolicC++ (4)
- VRP (4)
- Z (4)
- ATFM (3)
- Adam (3)
- CasADi (3)
- DDE-BIFTOOL (3)
- Fractional Order Chaotic Systems (3)
- Graphplan (3)
- HomCont (3)
- LMI toolbox (3)
- MPT (3)
- NPSOL (3)
- NSGA-II (3)
- PITCON (3)
- ROS (3)
- S-TaLiRo (3)
- TSPLIB (3)
- Taylor (3)
- TensorFlow (3)
- Theta* (3)
- UMDES (3)
- ACARRYPC (2)
- AWESOME (2)
- BOHB (2)
- Breach (2)
- C4.5 (2)
- CASA (2)
- CLIPS (2)
- COLSYS (2)
- CRBG (2)
- CVX (2)
- DARTS (2)
- DeepFool (2)
- Diehard (2)
- Dynamics (2)
- FastSLAM (2)
- GPOPS (2)
- Google vizier (2)
- Hyperband (2)
- Isabelle/UTP (2)
- KITTI (2)
- KnowRob (2)
- LGSVL (2)
- LINPACK (2)
- MiniGrid (2)
- OEIS (2)
- PSEUDORAN (2)
- REDUCE (2)
- Robotics (2)
- SCANeR (2)
- SINGULAR (2)
- SNOPT (2)
- SOAR (2)
- SOCS (2)
- Scenic (2)
- Tensor2Tensor (2)
- ToolboxLS (2)
- Unreal Engine (2)
- dReach (2)
- fast_mpc (2)
- spotter (2)
- ACDPAC (1)
- ALCON (1)
- ANN (1)
- APCluster (1)
- ARGO (1)
- ARGoS (1)
- AUTO-07P (1)
- Agent57 (1)
- and 297 more Software Packages