×

Found 297 Documents (Results 1–100)

Robustly complete finite-state abstractions for verification of stochastic systems. (English) Zbl 07643429

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 80-97 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Stochastic games with lexicographic reachability-safety objectives. (English) Zbl 1478.68151

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 398-420 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An example of martingale representation in progressive enlargement by an accessible random time. (English) Zbl 1498.60166

Cohen, Samuel N. (ed.) et al., Frontiers in stochastic analysis – BSDEs, SPDEs and their applications. International workshop on BSDEs, SPDEs and their applications, Edinburgh, UK, July 3–7, 2017. Selected, revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 289, 109-121 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Bridging between 0/1 and linear programming via random walks. (English) Zbl 1433.68156

Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 568-577 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Maximum principles at infinity and the Ahlfors-Khas’minskii duality: an overview. (English) Zbl 1477.35049

Dipierro, Serena (ed.), Contemporary research in elliptic PDEs and related topics. Based on lectures given during the INdAM intensive period, University of Bari, Bari, Italy, April 10 – June 9, 2017. Cham: Springer. Springer INdAM Ser. 33, 419-455 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the completeness of stochastic flows generated by equations with current velocities. (English. Russian original) Zbl 1478.60177

Theory Probab. Appl. 64, No. 1, 1-11 (2019); translation from Teor. Veroyatn. Primen. 64, No. 1, 3-16 (2019).
MSC:  60H10 60J35 34F05
PDF BibTeX XML Cite
Full Text: DOI

Coupled self-organized hydrodynamics and Stokes models for suspensions of active particles. (English) Zbl 1420.35232

J. Math. Fluid Mech. 21, No. 1, Paper No. 6, 36 p. (2019); correction ibid. 22, No. 4, Paper No. 57, 3 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Reachability switching games. (English) Zbl 1499.68201

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 124, 14 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Computing shortest paths in the plane with removable obstacles. (English) Zbl 1477.68454

Eppstein, David (ed.), 16th Scandinavian symposium and workshops on algorithm theory. SWAT 2018, June 18–20, 2018, Malmö University, Malmö, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 101, Article 5, 15 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Maximum box problem on stochastic points. (English) Zbl 1485.68265

Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 231-244 (2018).
PDF BibTeX XML Cite
Full Text: DOI Link

Statistical query algorithms for mean vector estimation and stochastic convex optimization. (English) Zbl 1422.90031

Klein, Philip N. (ed.), Proceedings of the 28th annual ACM-SIAM symposium on discrete algorithms, SODA 2017, Barcelona, Spain, January 16–19, 2017. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1265-1277 (2017).
MSC:  90C15 90C25 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv

Constant-rate interactive coding is impossible, even in constant-degree networks. (English) Zbl 1402.68062

Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 21, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Generalized probabilistic satisfiability. (English) Zbl 1401.68113

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 39-56 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Perfect-information stochastic games with generalized mean-payoff objectives. (English) Zbl 1401.68238

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 247-256 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the separability of stochastic geometric objects, with applications. (English) Zbl 1387.68280

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 62, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Constant-rate coding for multiparty interactive communication is impossible. (English) Zbl 1373.68038

Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 999-1010 (2016).
PDF BibTeX XML Cite
Full Text: DOI

From market data to agent-based models and stochastic differential equations. (English) Zbl 1406.91502

Gonçalves, Patrícia (ed.) et al., From particle systems to partial differential equations III. Particle systems and PDEs III, Braga, Portugal, December 2014. Cham: Springer (ISBN 978-3-319-32142-4/hbk; 978-3-319-32144-8/ebook). Springer Proceedings in Mathematics & Statistics 162, 225-242 (2016).
PDF BibTeX XML Cite
Full Text: DOI

On a class of optimization problems with no “efficiently computable” solution. (English. Russian original) Zbl 1388.68085

J. Math. Sci., New York 215, No. 6, 706-714 (2016); translation from Zap. Nauchn. Semin. POMI 436, 122-135 (2015).
MSC:  68Q17 90B15 91A05
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software