×

Found 1,322 Documents (Results 1–100)

Bayesian parameter estimation with guarantees via interval analysis and simulation. (English) Zbl 1533.65013

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 106-128 (2023).
Full Text: DOI

A Kleene theorem for higher-dimensional automata. (English) Zbl 07896562

Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 29, 18 p. (2022).
MSC:  68Q85

Satisfaction of modeling requirements for intelligent navigation systems: risk management context. (English) Zbl 1505.90042

Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 17th international conference, ICINCO 2020, Lieusaint, Paris, France, July 7–9, 2020. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 793, 456-478 (2022).
MSC:  90B25 91B05 68T05
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software