Li, Sarah H. Q.; Adjé, Assalé; Garoche, Pierre-Loïc; Açıkmeşe, Behçet Set-based value operators for non-stationary Markovian environments. arXiv:2207.07271 Preprint, arXiv:2207.07271 [cs.LG] (2022). BibTeX Cite \textit{S. H. Q. Li} et al., ``Set-based value operators for non-stationary Markovian environments'', Preprint, arXiv:2207.07271 [cs.LG] (2022) Full Text: arXiv OA License
Adjé, Assalé; Ben Khalifa, Dorra; Martel, Matthieu Fast and efficient bit-level precision tuning. (English) Zbl 1497.68105 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 1-24 (2021). MSC: 68N30 65Y04 PDFBibTeX XMLCite \textit{A. Adjé} et al., Lect. Notes Comput. Sci. 12913, 1--24 (2021; Zbl 1497.68105) Full Text: DOI arXiv
Li, Sarah H. Q.; Adjé, Assalé; Garoche, Pierre-Loïc; Açıkmeşe, Behçet Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games. (English) Zbl 1478.91011 Automatica 130, Article ID 109685, 12 p. (2021). MSC: 91A15 90C40 91A26 93A16 93E03 PDFBibTeX XMLCite \textit{S. H. Q. Li} et al., Automatica 130, Article ID 109685, 12 p. (2021; Zbl 1478.91011) Full Text: DOI arXiv
Adjé, Assalé Quadratic maximization of reachable values of affine systems with diagonalizable matrix. (English) Zbl 1470.90062 J. Optim. Theory Appl. 189, No. 1, 136-163 (2021). MSC: 90C20 PDFBibTeX XMLCite \textit{A. Adjé}, J. Optim. Theory Appl. 189, No. 1, 136--163 (2021; Zbl 1470.90062) Full Text: DOI arXiv
Béhi, Droh Arsène; Adjé, Assohoun A variational method for multivalued boundary value problems. (English) Zbl 1465.34032 Abstr. Appl. Anal. 2020, Article ID 8463263, 8 p. (2020). Reviewer: Petru Jebelean (Timişoara) MSC: 34B15 47J30 37C60 PDFBibTeX XMLCite \textit{D. A. Béhi} and \textit{A. Adjé}, Abstr. Appl. Anal. 2020, Article ID 8463263, 8 p. (2020; Zbl 1465.34032) Full Text: DOI
Li, Sarah H. Q.; Adjé, Assalé; Garoche, Pierre-Loïc; Açıkmeşe, Behçet Fixed Points of the Set-Based Bellman Operator. arXiv:2001.04535 Preprint, arXiv:2001.04535 [math.OC] (2020). BibTeX Cite \textit{S. H. Q. Li} et al., ``Fixed Points of the Set-Based Bellman Operator'', Preprint, arXiv:2001.04535 [math.OC] (2020) Full Text: arXiv OA License
Behi, D. A.; Adje, A.; Goli, K. C. Lower and upper solutions method for nonlinear second-order differential equations involving a \(\Phi\)-Laplacian operator. (English) Zbl 1430.34028 Afr. Diaspora J. Math. 22, No. 1, 22-41 (2019). MSC: 34B15 PDFBibTeX XMLCite \textit{D. A. Behi} et al., Afr. Diaspora J. Math. 22, No. 1, 22--41 (2019; Zbl 1430.34028) Full Text: Euclid
Ahoulou, K. Rémy; Adjé, Assohoun Second order differential inclusion with an upper semi-continuous set valued map. (English) Zbl 1434.34027 Far East J. Appl. Math. 100, No. 4, 309-323 (2018). MSC: 34A60 34B15 PDFBibTeX XMLCite \textit{K. R. Ahoulou} and \textit{A. Adjé}, Far East J. Appl. Math. 100, No. 4, 309--323 (2018; Zbl 1434.34027) Full Text: DOI
Adjé, Assalé Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems. arXiv:1810.09778 Preprint, arXiv:1810.09778 [math.OC] (2018). MSC: 90C30 90C39 BibTeX Cite \textit{A. Adjé}, ``Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems'', Preprint, arXiv:1810.09778 [math.OC] (2018) Full Text: arXiv OA License
Adjé, Assalé Proving properties on PWA systems using copositive and semidefinite programming. (English) Zbl 1429.68138 Bogomolov, Sergiy (ed.) et al., Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17–18, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10152, 15-30 (2017). MSC: 68Q60 90C22 93B03 PDFBibTeX XMLCite \textit{A. Adjé}, Lect. Notes Comput. Sci. 10152, 15--30 (2017; Zbl 1429.68138) Full Text: DOI
Goli, Konan Charles Etienne; Adjé, Assohoun Existence of solutions for a coupled system with \(\phi\)-Laplacian operators and nonlinear coupled boundary conditions. (English) Zbl 1391.34052 Commun. Math. 25, No. 2, 79-87 (2017). MSC: 34B15 PDFBibTeX XMLCite \textit{K. C. E. Goli} and \textit{A. Adjé}, Commun. Math. 25, No. 2, 79--87 (2017; Zbl 1391.34052) Full Text: DOI
Adjé, Assalé; Garoche, Pierre-Loïc Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs. (English) Zbl 1379.68234 Comput. Lang. Syst. Struct. 47, Part 1, 44-61 (2017). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{A. Adjé} and \textit{P.-L. Garoche}, Comput. Lang. Syst. Struct. 47, Part 1, 44--61 (2017; Zbl 1379.68234) Full Text: DOI arXiv
Adjé, Assalé; Garoche, Pierre-Loïc; Magron, Victor A sums-of-squares extension of policy iterations. (English) Zbl 1377.93066 Nonlinear Anal., Hybrid Syst. 25, 60-78 (2017). MSC: 93B40 90C22 PDFBibTeX XMLCite \textit{A. Adjé} et al., Nonlinear Anal., Hybrid Syst. 25, 60--78 (2017; Zbl 1377.93066) Full Text: DOI arXiv
Goli, Charles Etienne; Adjé, Assohoun Existence of solutions of some nonlinear \(\phi\)-Laplacian equations with Neumann-Steklov nonlinear boundary conditions. (English) Zbl 1370.34041 Afr. Diaspora J. Math. 20, No. 2, 16-38 (2017). MSC: 34B15 34A09 47N20 PDFBibTeX XMLCite \textit{C. E. Goli} and \textit{A. Adjé}, Afr. Diaspora J. Math. 20, No. 2, 16--38 (2017; Zbl 1370.34041) Full Text: Euclid
Adjé, Assalé Coupling policy iterations with piecewise quadratic Lyapunov functions. (English) Zbl 1369.93564 Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 143-152 (2017). MSC: 93D30 93C55 93B40 PDFBibTeX XMLCite \textit{A. Adjé}, in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 143--152 (2017; Zbl 1369.93564) Full Text: DOI
Goli, Konan Charles Etienne; Adjé, Assohoun New existence results for some periodic and Neumann-Steklov boundary value problems with \(\phi\)-Laplacian. (English) Zbl 1352.34028 Bound. Value Probl. 2016, Paper No. 170, 15 p. (2016). MSC: 34B15 PDFBibTeX XMLCite \textit{K. C. E. Goli} and \textit{A. Adjé}, Bound. Value Probl. 2016, Paper No. 170, 15 p. (2016; Zbl 1352.34028) Full Text: DOI
Adjé, Assalé Policy iteration in finite templates domain. (English) Zbl 1351.68068 Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 3-18 (2015). MSC: 68N30 90C25 PDFBibTeX XMLCite \textit{A. Adjé}, Electron. Notes Theor. Comput. Sci. 317, 3--18 (2015; Zbl 1351.68068) Full Text: DOI
Goli, Charles Etienne; Adje, Assohoun Solvability for some boundary value problems with \(\varphi\)-Laplacian operators and general nonlinear boundary conditions. (English) Zbl 1336.34031 Far East J. Math. Sci. (FJMS) 98, No. 4, 445-476 (2015). MSC: 34B10 34B15 47N20 PDFBibTeX XMLCite \textit{C. E. Goli} and \textit{A. Adje}, Far East J. Math. Sci. (FJMS) 98, No. 4, 445--476 (2015; Zbl 1336.34031) Full Text: DOI Link
Coulibaly, Adama; Tuo, David Paul; Adje, Assohoun Numerical results of primal-dual interior-point algorithms for semidefinite optimization based on kernel functions. (English) Zbl 1343.90059 Far East J. Appl. Math. 93, No. 3, 231-245 (2015). MSC: 90C22 90C51 PDFBibTeX XMLCite \textit{A. Coulibaly} et al., Far East J. Appl. Math. 93, No. 3, 231--245 (2015; Zbl 1343.90059) Full Text: DOI
Adjé, Assalé; Garoche, Pierre-Loïc; Werey, Alexis Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics. (English) Zbl 1329.68073 Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 127-145 (2015). MSC: 68N30 11E10 52B55 65G30 PDFBibTeX XMLCite \textit{A. Adjé} et al., Lect. Notes Comput. Sci. 9458, 127--145 (2015; Zbl 1329.68073) Full Text: DOI arXiv
Adjé, Assalé; Garoche, Pierre-Loïc Automatic synthesis of piecewise linear quadratic invariants for programs. (English) Zbl 1432.68254 D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 99-116 (2015). MSC: 68Q60 68N30 93C05 PDFBibTeX XMLCite \textit{A. Adjé} and \textit{P.-L. Garoche}, Lect. Notes Comput. Sci. 8931, 99--116 (2015; Zbl 1432.68254) Full Text: DOI
Adjé, Assalé Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions. arXiv:1506.02857 Preprint, arXiv:1506.02857 [math.OC] (2015). MSC: 93B40 93B50 93D05 BibTeX Cite \textit{A. Adjé}, ``Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions'', Preprint, arXiv:1506.02857 [math.OC] (2015) Full Text: arXiv OA License
Adjé, Assalé; Gaubert, Stéphane; Goubault, Eric Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs. (English) Zbl 1309.47057 J. Math. Anal. Appl. 410, No. 1, 227-240 (2014). MSC: 47H07 47H09 47H10 91A15 47J25 PDFBibTeX XMLCite \textit{A. Adjé} et al., J. Math. Anal. Appl. 410, No. 1, 227--240 (2014; Zbl 1309.47057) Full Text: DOI arXiv
Adjé, Assalé; Magron, Victor Polynomial Template Generation using Sum-of-Squares Programming. arXiv:1409.3941 Preprint, arXiv:1409.3941 [cs.LO] (2014). BibTeX Cite \textit{A. Adjé} and \textit{V. Magron}, ``Polynomial Template Generation using Sum-of-Squares Programming'', Preprint, arXiv:1409.3941 [cs.LO] (2014) Full Text: arXiv OA License
Gawlitza, Thomas Martin; Seidl, Helmut; Adjé, Assalé; Gaubert, Stéphane; Goubault, Éric Abstract interpretation meets convex optimization. (English) Zbl 1246.90118 J. Symb. Comput. 47, No. 12, 1416-1446 (2012). MSC: 90C25 65K05 PDFBibTeX XMLCite \textit{T. M. Gawlitza} et al., J. Symb. Comput. 47, No. 12, 1416--1446 (2012; Zbl 1246.90118) Full Text: DOI
Adjé, Assalé; Gaubert, Stéphane; Goubault, Eric Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. (English) Zbl 1237.68054 Log. Methods Comput. Sci. 8, No. 1, Paper No. 1, 32 p. (2012). MSC: 68N30 90C20 90C22 90C25 PDFBibTeX XMLCite \textit{A. Adjé} et al., Log. Methods Comput. Sci. 8, No. 1, Paper No. 1, 32 p. (2012; Zbl 1237.68054) Full Text: arXiv
Adjé, Assalé; Gaubert, Stéphane; Goubault, Eric Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. (English) Zbl 1260.68082 Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 23-42 (2010). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Adjé} et al., Lect. Notes Comput. Sci. 6012, 23--42 (2010; Zbl 1260.68082) Full Text: DOI
Ahoulou, K. Remy; Adje, Assohoun Existence of solutions of a differential inclusion with nonlinear boundary conditions by the lower and upper solutions method. (English) Zbl 1141.34303 Far East J. Appl. Math. 26, No. 2, 281-287 (2007). MSC: 34A60 34B15 PDFBibTeX XMLCite \textit{K. R. Ahoulou} and \textit{A. Adje}, Far East J. Appl. Math. 26, No. 2, 281--287 (2007; Zbl 1141.34303)
Adje, Assohoun Periodic boundary value problems for nonlinear perturbations of some singular linear differential equations. (English) Zbl 0816.34013 Afr. Mat., Sér. III 1, 19-26 (1993). MSC: 34B15 34B27 PDFBibTeX XMLCite \textit{A. Adje}, Afr. Mat., Sér. III 1, 19--26 (1993; Zbl 0816.34013)
Assohoun, Adje Upper and lower solutions for semilinear elliptic equations with nonlinear boundary conditions. (Sur et sous-solutions dans les équations semi-linéaires de type elliptique avec conditions aux limites non linéaires.) (French) Zbl 0802.35170 Port. Math. 49, No. 2, 131-146 (1992). MSC: 35R70 35J60 47H04 PDFBibTeX XMLCite \textit{A. Assohoun}, Port. Math. 49, No. 2, 131--146 (1992; Zbl 0802.35170) Full Text: EuDML
Adje, Assohoun Sur et sous-solutions généralisées et problèmes aux limites du second ordre. (Generalized lower and upper solutions and second order boundary value problems). (French) Zbl 0724.34018 Bull. Soc. Math. Belg., Sér. B 42, No. 3, 347-368 (1990). Reviewer: P.Zezza (Firenze) MSC: 34B15 34C11 PDFBibTeX XMLCite \textit{A. Adje}, Bull. Soc. Math. Belg., Sér. B 42, No. 3, 347--368 (1990; Zbl 0724.34018)
Adje, Assohoun Sur et sous-solutions pour une certaine classe de problèmes aux limites multivoques avec des conditions aux limites non linéaires. (Upper and lower solutions for a certain class of multivalued problems with nonlinear boundary conditions). (French) Zbl 0717.34023 Ann. Soc. Sci. Bruxelles, Sér. I 104, No. 1, 9-23 (1990). MSC: 34B15 34A60 PDFBibTeX XMLCite \textit{A. Adje}, Ann. Soc. Sci. Brux., Sér. I 104, No. 1, 9--23 (1990; Zbl 0717.34023)
Adje, Assohoun Monotone iterative techniques for solutions of nonlinear second order ordinary differential equations. (English) Zbl 0771.34019 Bull. Cl. Sci., VI. Sér., Acad. R. Belg. 1, No. 10-11, 259-267 (1990). Reviewer: O.Akinyele (Ibadan) MSC: 34B15 PDFBibTeX XMLCite \textit{A. Adje}, Bull. Cl. Sci., VI. Sér., Acad. R. Belg. 1, No. 10--11, 259--267 (1990; Zbl 0771.34019)
Adje, Assohoun Existence and multiplicity of solutions to first-order differential equations with discontinuous nonlinearity. (Existence et multiplicité des solutions d’équations différentielles ordinaires du premier ordre à non-linéarité discontinue.) (French) Zbl 0664.34009 Ann. Soc. Sci. Bruxelles, Sér. I 101, No. 3, 69-87 (1987). MSC: 34A12 34A40 PDFBibTeX XMLCite \textit{A. Adje}, Ann. Soc. Sci. Brux., Sér. I 101, No. 3, 69--87 (1987; Zbl 0664.34009)