Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
|
Falsificació ràpida de sistemes híbrids usant entrada probabilísticament adaptativa
|
Font: AINA
|
Probabilistically robust stabilizing allocations in uncertain coalitional games
|
Assignacions estabilitzadores probabilísticament robustes en jocs de coalició incerts
|
Font: AINA
|
We show that the algorithm is both probabilistically sound and asymptotically optimal.
|
Mostrem que l’algorisme és probabilísticament sòlid i asimptòticament òptim.
|
Font: AINA
|
Probabilistically Guaranteed Satisfaction of Temporal Logic Constraints During Reinforcement Learning
|
Satisfacció garantida probabilísticament de restriccions lògiques temporals durant l’aprenentatge per reforç
|
Font: AINA
|
Probabilistically Certified Region of Attraction of a Tumor Growth Model with Combined Chemo- and Immunotherapy
|
Regió d’atracció certificada probabilísticament d’un model de creixement tumoral amb quimioteràpia i immunoteràpia combinades
|
Font: AINA
|
This inspires various algorithms that are provably probabilistic incomplete, probabilistic complete but sub-optimal, and asymptotically optimal.
|
Això inspira diversos algorismes que són probabilísticament incomplets, probabilístics complets però subòptims i asimptòticament òptims.
|
Font: AINA
|
After a certain time, the system will be distributed probabilistically in all possible states.
|
Al cap de cert temps, el sistema es distribuirà probabilísticament a tots els seus estats possibles.
|
Font: AINA
|
Devices with surplus memory probabilistically cache a content from a known library.
|
Els dispositius amb memòria sobrant emmagatzemen a la memòria cau probabilísticament un contingut d’una biblioteca coneguda.
|
Font: AINA
|
We prove that our approach is sound and probabilistically complete, and demonstrate its scalability with a nontrivial example.
|
Provem que el nostre enfocament és sòlid i probabilísticament complet, i demostrem la seva escalabilitat amb un exemple no trivial.
|
Font: AINA
|
The key idea is to probabilistically constrain the worst-case errors through distributionally robust chance-constrained programming.
|
La idea clau és restringir probabilísticament els errors del pitjor dels casos mitjançant una programació restringida per l’atzar distributivament robusta.
|
Font: AINA
|
Mostra més exemples
|