×

Found 1,287 Documents (Results 1–100)

Newest Citations Relevance
Fatnassi, Wael; Khedr, Haitham; Yamamoto, Valen; Shoukry, Yasser

Bern-NN: tight bound propagation for neural networks using Bernstein polynomial interval arithmetic. (English) Zbl 07807960

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Ladner, Tobias; Althoff, Matthias

Automatic abstraction refinement in neural network verification using sensitivity analysis. (English) Zbl 07807959

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI Link
Tran, Hoang Dung; Choi, Sung Woo; Yang, Xiaodong; Yamaguchi, Tomoya; Hoxha, Bardh; Prokhorov, Danil

Verification of recurrent neural networks with star reachability. (English) Zbl 07807947

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Ferlez, James; Khedr, Haitham; Shoukry, Yasser

Fast BATLLNN: fast box analysis of two-level lattice neural networks. (English) Zbl 07807731

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 23, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Clavière, Arthur; Altieri Sambartolomé, Laura; Asselin, Eric; Garion, Christophe; Pagetti, Claire

Verification of machine learning based cyber-physical systems: a comparative study. (English) Zbl 07807730

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 16 p. (2022).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI HAL
Abate, Alessandro; Ahmed, Daniele; Edwards, Alec; Giacobbe, Mirco; Peruffo, Andrea

FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks. (English) Zbl 07807697

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Zhao, Qingye; Chen, Xin; Zhang, Yifan; Sha, Meng; Yang, Zhengfeng; Lin, Wang; Tang, Enyi; Chen, Qiguang; Li, Xuandong

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. (English) Zbl 07807690

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Hunt, Nathan; Fulton, Nathan; Magliacane, Sara; Hoang, Trong Nghia; Das, Subhro; Solar-Lezama, Armando

Verifiably safe exploration for end-to-end reinforcement learning. (English) Zbl 07807687

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 14, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Goles, Eric; Montealegre, Pedro; Ríos Wilson, Martín; Theyssier, Guillaume

On the impact of treewidth in the computational complexity of freezing dynamics. (English) Zbl 1530.68147

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 260-272 (2021).
MSC:  68Q45 37B10 68Q06 68Q17 68Q25 68W10
Cite Review PDF
Full Text: DOI arXiv HAL
Zhang, Han; Zhang, Chi; Azevedo de Amorim, Arthur; Agarwal, Yuvraj; Fredrikson, Matt; Jia, Limin

Netter: probabilistic, stateful network models. (English) Zbl 1472.68012

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021).
MSC:  68M10 60J20 68N15 68Q45 68Q60
Cite Review PDF
Full Text: DOI
Yellin, Daniel M.; Weiss, Gail

Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021).
MSC:  68Q32 68Q42 68Q45 68T05
Cite Review PDF
Full Text: DOI arXiv
Creative Commons CC license icon Creative Commons BY license icon
Bansal, Suguman; Chatterjee, Krishnendu; Vardi, Moshe Y.

On satisficing in quantitative games. (English) Zbl 1467.68161

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
MSC:  68T20 68Q45 90C35 91A43 91A80
Cite Review PDF
Full Text: DOI arXiv
Creative Commons CC license icon Creative Commons BY license icon
Kushner, Taisa; Sankaranarayanan, Sriram; Breton, Marc

Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI
Das, Shantanu; Giachoudis, Nikos; Luccio, Flaminia L.; Markou, Euripides

Gathering of robots in a grid with mobile faults. (English) Zbl 1444.68017

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 164-178 (2019).
MSC:  68M14 68M15 68Q45 68R10 68T40
Cite Review PDF
Full Text: DOI Link
Gąsior, Jakub; Seredyński, Franciszek; Hoffmann, Rolf

Towards self-organizing sensor networks: game-theoretic \(\epsilon\)-learning automata-based approach. (English) Zbl 1515.68083

Mauri, Giancarlo (ed.) et al., Cellular automata. 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11115, 125-136 (2018).
MSC:  68M18 68Q45 68T42 91A12 91A80
Cite Review PDF
Full Text: DOI
Nasti, Lucia; Milazzo, Paolo

A computational model of Internet addiction phenomena in social networks. (English) Zbl 1461.91231

Cerone, Antonio (ed.) et al., Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10729, 86-100 (2018).
MSC:  91D30 68Q45 92C20
Cite Review PDF
Full Text: DOI
Bertrand, Clément; Klaudel, Hanna; Latapy, Matthieu; Peschanski, Frédéric

Pattern matching in link streams: a token-based approach. (English) Zbl 1427.68182

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 227-247 (2018).
MSC:  68Q85 68Q45
Cite Review PDF
Full Text: DOI HAL
Silvestre-Ryan, Jordi; Holmes, Ian

Consensus decoding of recurrent neural network basecallers. (English) Zbl 1392.92008

Jansson, Jesper (ed.) et al., Algorithms for computational biology. 5th international conference, ALCoB 2018, Hong Kong, China, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-91937-9/pbk; 978-3-319-91938-6/ebook). Lecture Notes in Computer Science 10849. Lecture Notes in Bioinformatics, 128-139 (2018).
MSC:  92B20 92C40 68Q45 68T05
Cite Review PDF
Full Text: DOI
Behaegel, Jonathan; Comet, Jean-Paul; Folschette, Maxime

Constraint identification using modified Hoare logic on hybrid models of gene networks. (English) Zbl 1515.68158

Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 5, 21 p. (2017).
MSC:  68Q45 03B70 92C42
Cite Review PDF
Full Text: DOI
Allender, Eric; Krebs, Andreas; McKenzie, Pierre

Better complexity bounds for cost register automata. (English) Zbl 1435.68138

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 24, 14 p. (2017).
MSC:  68Q45 68Q06 68Q25
Cite Review PDF
Full Text: DOI
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta

Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. (English) Zbl 1433.68223

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 2, 17 p. (2017).
MSC:  68Q70 18M05 68Q85
Cite Review PDF
Full Text: DOI
Bridoux, Florian; Guillon, Pierre; Perrot, Kévin; Sené, Sylvain; Theyssier, Guillaume

On the cost of simulating a parallel Boolean automata network by a block-sequential one. (English) Zbl 1485.68136

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 112-128 (2017).
MSC:  68Q45 68R10
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Access

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