On the Trade-Off Between Efficiency and Precision of Neural Abstraction von Edwards, Alec, Giacobbe, Mirco, Abate, Alessandro

Volltext

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models von Edwards, Alec, Peruffo, Andrea, Abate, Alessandro

Volltext bestellen

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis von Edwards, Alec, Peruffo, Andrea, Abate, Alessandro

Volltext bestellen

On the Trade-off Between Efficiency and Precision of Neural Abstraction von Edwards, Alec, Giacobbe, Mirco, Abate, Alessandro

Volltext bestellen

Neural Abstractions von Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco

Volltext bestellen

Safe Reach Set Computation via Neural Barrier Certificates⁎⁎Sergiy Bogomolov, contributing author, deceased in 2023 von Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo

Volltext

Safe Reach Set Computation via Neural Barrier Certificates von Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo

Volltext

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions von Debauche, Virginie, Edwards, Alec, Jungers, Raphael M, Abate, Alessandro

Volltext bestellen

Quantitative Verification with Neural Networks von Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco, Punchihewa, Hashan, Diptarko Roy

Volltext

Safe Reach Set Computation via Neural Barrier Certificates von Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo

Volltext bestellen

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis von Edwards, Alec, Peruffo, Andrea, Abate, Alessandro

Volltext

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models von Edwards, Alec, Peruffo, Andrea, Abate, Alessandro

Volltext

On the Trade-off Between Efficiency and Precision of Neural Abstraction von Edwards, Alec, Giacobbe, Mirco, Abate, Alessandro

Volltext

Neural Abstractions von Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco

Volltext

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions von Debauche, Virginie, Edwards, Alec, Jungers, Raphael M, Abate, Alessandro

Volltext

Safe Reach Set Computation via Neural Barrier Certificates von Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo

Volltext

Ligand-activated BMP signaling inhibits cell differentiation and death to promote melanoma von Venkatesan, Arvind M, Vyas, Rajesh, Gramann, Alec K, Dresser, Karen, Gujja, Sharvari, Bhatnagar, Sanchita, Chhangawala, Sagar, Gomes, Camilla Borges Ferreira, Xi, Hualin Simon, Lian, Christine G, Houvras, Yariv, Edwards, Yvonne J K, Deng, April, Green, Michael, Ceol, Craig J

Volltext

Resolving the contrasting leaf hydraulic adaptation of C 3 and C 4 grasses von Baird, Alec S, Taylor, Samuel H, Pasquet-Kok, Jessica, Vuong, Christine, Zhang, Yu, Watcharamongkol, Teera, Cochard, Hervé, Scoffoni, Christine, Edwards, Erika J, Osborne, Colin P, Sack, Lawren

Volltext

Developmental and biophysical determinants of grass leaf size worldwide von Baird, Alec S., Taylor, Samuel H., Pasquet-Kok, Jessica, Vuong, Christine, Zhang, Yu, Watcharamongkol, Teera, Scoffoni, Christine, Edwards, Erika J., Christin, Pascal-Antoine, Osborne, Colin P., Sack, Lawren

Volltext

The Rapid ASKAP Continuum Survey I: Design and first results von McConnell, D., Hale, C. L., Lenc, E., Banfield, J. K., Heald, George, Hotan, A. W., Leung, James K., Moss, Vanessa A., Murphy, Tara, O’Brien, Andrew, Pritchard, Joshua, Raja, Wasim, Sadler, Elaine M., Stewart, Adam, Thomson, Alec J. M., Whiting, M., Allison, James R., Amy, S. W., Anderson, C., Ball, Lewis, Bannister, Keith W., Bell, Martin, Bock, Douglas C.-J., Bolton, Russ, Bunton, J. D., Chippendale, A. P., Collier, J. D., Cooray, F. R., Cornwell, T. J., Diamond, P. J., Edwards, P. G., Gupta, N., Hayman, Douglas B., Heywood, Ian, Jackson, C. A., Koribalski, Bärbel S., Lee-Waddell, Karen, McClure-Griffiths, N. M., Ng, Alan, Norris, Ray P., Phillips, Chris, Reynolds, John E., Roxby, Daniel N., Schinckel, Antony E. T., Shields, Matt, Tremblay, Chenoa, Tzioumis, A., Voronkov, M. A., Westmeier, Tobias

Volltext