مقالات بحثية تمّ التفويض بإتاحتها للجميع - Eric Goubaultمزيد من المعلومات
عدد المقالات البحثية المتاحة للجميع في موقع ما: 15
Neural networks with physics-informed architectures and constraints for dynamical systems modeling
F Djeumou, C Neary, E Goubault, S Putot, U Topcu
Learning for Dynamics and Control Conference, 263-277, 2022
التفويضات: US National Science Foundation, US Department of Defense
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
O Bouissou, E Goubault, S Putot, A Chakarov, S Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
التفويضات: US National Science Foundation
On-the-fly control of unknown smooth systems from limited data
F Djeumou, AP Vinod, E Goubault, S Putot, U Topcu
2021 American Control Conference (ACC), 3656-3663, 2021
التفويضات: US Department of Defense, US National Aeronautics and Space Administration
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
H van Ditmarsch, É Goubault, M Lazić, J Ledent, S Rajsbaum
Journal of Logical and Algebraic Methods in Programming 121, 100662, 2021
التفويضات: European Commission
On-the-fly control of unknown systems: From side information to performance guarantees through reachability
F Djeumou, AP Vinod, E Goubault, S Putot, U Topcu
IEEE Transactions on Automatic Control 68 (8), 4857-4872, 2022
التفويضات: US Department of Defense, US National Aeronautics and Space Administration
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
S Sankaranarayanan, Y Chou, E Goubault, S Putot
Advances in Neural Information Processing Systems 33, 17502-17513, 2020
التفويضات: US National Science Foundation, US Department of Defense
A dynamic epistemic logic analysis of the equality negation task
É Goubault, M Lazić, J Ledent, S Rajsbaum
International Workshop on Dynamic Logic, 53-70, 2019
التفويضات: Austrian Science Fund, European Commission
Wait-free solvability of equality negation tasks
É Goubault, M Lazić, J Ledent, S Rajsbaum
33rd International Symposium on Distributed Computing (DISC 2019), 21: 1-21: 16, 2019
التفويضات: Austrian Science Fund, European Commission
Algebraic coherent confluence and higher globular Kleene algebras
C Calk, E Goubault, P Malbos, G Struth
Logical Methods in Computer Science 18, 2022
التفويضات: Agence Nationale de la Recherche
Static analysis of ReLU neural networks with tropical polyhedra
E Goubault, S Palumby, S Putot, L Rustenholz, S Sankaranarayanan
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
التفويضات: US National Science Foundation
Simplicial models for the epistemic logic of faulty agents
É Goubault, R Kniazev, J Ledent, S Rajsbaum
Boletín de la Sociedad Matemática Mexicana 30 (3), 90, 2024
التفويضات: Agence Nationale de la Recherche
Combining zonotope abstraction and constraint programming for synthesizing inductive invariants
B Kabi, E Goubault, A Miné, S Putot
Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020
التفويضات: Agence Nationale de la Recherche
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
E Goubault, S Putot
International Symposium on Formal Methods, 324-342, 2024
التفويضات: Agence Nationale de la Recherche
Inner and outer approximate quantifier elimination for general reachability problems
E Goubault, S Putot
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
التفويضات: Agence Nationale de la Recherche
A topological method for finding invariant sets of continuous systems
L Fribourg, E Goubault, S Mohamed, M Mrozek, S Putot
Information and Computation 277, 104581, 2021
التفويضات: Agence Nationale de la Recherche
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.