Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8978 Publications


2023 | Journal Article | IST-REx-ID: 13127 | OA
Casillas Perez, Barbara E, Katarina Bodova, Anna V Grasse, Gašper Tkačik, and Sylvia Cremer. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38947-y.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 12945 | OA
Cremer, Sylvia. “Data from: ‘Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants’ .” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12945.
View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12087 | OA
Wirth, Melchior, and Haonan Zhang. “Curvature-Dimension Conditions for Symmetric Quantum Markov Semigroups.” Annales Henri Poincare. Springer Nature, 2023. https://doi.org/10.1007/s00023-022-01220-x.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 9652 | OA
Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s11856-022-2448-6.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12113
Zhang, Li, Xingyu Liu, Ting Wu, Shengduo Xu, Guoquan Suo, Xiaohui Ye, Xiaojiang Hou, Yanling Yang, Qingfeng Liu, and Hongqiang Wang. “Two-Step Post-Treatment to Deliver High Performance Thermoelectric Device with Vertical Temperature Gradient.” Applied Surface Science. Elsevier, 2023. https://doi.org/10.1016/j.apsusc.2022.156101.
View | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 10173 | OA
Clozeau, Nicolas. “Optimal Decay of the Parabolic Semigroup in Stochastic Homogenization  for Correlated Coefficient Fields.” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2023. https://doi.org/10.1007/s40072-022-00254-w.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 11741 | OA
Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Quenched Universality for Deformed Wigner Matrices.” Probability Theory and Related Fields. Springer Nature, 2023. https://doi.org/10.1007/s00440-022-01156-7.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12331 | OA
Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.” Chemistry of Materials. American Chemical Society, 2023. https://doi.org/10.1021/acs.chemmater.2c03542.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 11999 | OA
Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Birgit Vogtenhuber, Raimund Seidel, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” Discrete and Computational Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-022-00394-9.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12330 | OA
Aksenov, Vitalii, Dan-Adrian Alistarh, Alexandra Drozdova, and Amirkeivan Mohtashami. “The Splay-List: A Distribution-Adaptive Concurrent Skip-List.” Distributed Computing. Springer Nature, 2023. https://doi.org/10.1007/s00446-022-00441-x.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12159 | OA
Shipilina, Daria, Arka Pal, Sean Stankowski, Yingguang Frank Chan, and Nicholas H Barton. “On the Origin and Structure of Haplotype Blocks.” Molecular Ecology. Wiley, 2023. https://doi.org/10.1111/mec.16793.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12114 | OA
Gauto, Diego F., Olga O. Lebedenko, Lea Marie Becker, Isabel Ayala, Roman Lichtenecker, Nikolai R. Skrynnikov, and Paul Schanda. “Aromatic Ring Flips in Differently Packed Ubiquitin Protein Crystals from MAS NMR and MD.” Journal of Structural Biology: X. Elsevier, 2023. https://doi.org/10.1016/j.yjsbx.2022.100079.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12163 | OA
Loose, Martin, Albert Auer, Gabriel Brognara, Hanifatul R Budiman, Lukasz M Kowalski, and Ivana Matijevic. “In Vitro Reconstitution of Small GTPase Regulation.” FEBS Letters. Wiley, 2023. https://doi.org/10.1002/1873-3468.14540.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12164 | OA
Baig, Mirza Ahad, Danny Hendler, Alessia Milani, and Corentin Travers. “Long-Lived Counters with Polylogarithmic Amortized Step Complexity.” Distributed Computing. Springer Nature, 2023. https://doi.org/10.1007/s00446-022-00439-5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 12172
Khatoon, Bushra, Shoaib Kamil, Hitesh Babu, and M. Siraj Alam. “Experimental Analysis of Cascade CSTRs with Step and Pulse Inputs.” Materials Today: Proceedings. Elsevier, 2023. https://doi.org/10.1016/j.matpr.2022.11.037.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 12515 | OA
Ortiz-Leal, Irene, Mateo V. Torres, Victor M Vargas Barroso, Luis Eusebio Fidalgo, Ana María López-Beceiro, Jorge A. Larriva-Sahd, and Pablo Sánchez-Quinteiro. “The Olfactory Limbus of the Red Fox (Vulpes Vulpes). New Insights Regarding a Noncanonical Olfactory Bulb Pathway.” Frontiers in Neuroanatomy. Frontiers, 2023. https://doi.org/10.3389/fnana.2022.1097467.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12106 | OA
Yeung, Jake, Maria Florescu, Peter Zeller, Buys Anton De Barbanson, Max D. Wellenstein, and Alexander Van Oudenaarden. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.” Nature Biotechnology. Springer Nature, 2023. https://doi.org/10.1038/s41587-022-01560-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12183 | OA
Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare. Springer Nature, 2023. https://doi.org/10.1007/s00023-022-01252-3.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12544 | OA
Koehl, Patrice, Arseniy Akopyan, and Herbert Edelsbrunner. “Computing the Volume, Surface Area, Mean, and Gaussian Curvatures of Molecules and Their Derivatives.” Journal of Chemical Information and Modeling. American Chemical Society, 2023. https://doi.org/10.1021/acs.jcim.2c01346.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12543 | OA
Stock, Miriam, Barbara Milutinovic, Michaela Hönigsberger, Anna V Grasse, Florian Wiesenhofer, Niklas Kampleitner, Madhumitha Narasimhan, Thomas Schmitt, and Sylvia Cremer. “Pathogen Evasion of Social Immunity.” Nature Ecology and Evolution. Springer Nature, 2023. https://doi.org/10.1038/s41559-023-01981-6.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12521 | OA
Mrnjavac, Andrea, Kseniia Khudiakova, Nicholas H Barton, and Beatriz Vicoso. “Slower-X: Reduced Efficiency of Selection in the Early Stages of X Chromosome Evolution.” Evolution Letters. Oxford University Press, 2023. https://doi.org/10.1093/evlett/qrac004.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12679 | OA
Hippenmeyer, Simon. “Principles of Neural Stem Cell Lineage Progression: Insights from Developing Cerebral Cortex.” Current Opinion in Neurobiology. Elsevier, 2023. https://doi.org/10.1016/j.conb.2023.102695.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12429 | OA
Agresti, Antonio, Nick Lindemulder, and Mark Veraar. “On the Trace Embedding and Its Applications to Evolution Equations.” Mathematische Nachrichten. Wiley, 2023. https://doi.org/10.1002/mana.202100192.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12430 | OA
Falconi, Marco, Nikolai K Leopold, David Johannes Mitrouskas, and Sören P Petrat. “Bogoliubov Dynamics and Higher-Order Corrections for the Regularized Nelson Model.” Reviews in Mathematical Physics. World Scientific Publishing, 2023. https://doi.org/10.1142/S0129055X2350006X.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12762 | OA
Lombardi, Fabrizio, Selver Pepic, Oren Shriki, Gašper Tkačik, and Daniele De Martino. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” Nature Computational Science. Springer Nature, 2023. https://doi.org/10.1038/s43588-023-00410-9.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Thesis | IST-REx-ID: 12891
Schauer, Alexandra. “Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12891.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14085 | OA
Goranci, Gramoz, and Monika H Henzinger. “Efficient Data Structures for Incremental Exact and Approximate Maximum Flow.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.69.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14084 | OA
Harris, David G., and Vladimir Kolmogorov. “Parameter Estimation for Gibbs Distributions.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.72.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14086 | OA
Henzinger, Monika H, Paul Liu, Jan Vondrák, and Da Wei Zheng. “Faster Submodular Maximization for Several Classes of Matroids.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.74.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14083 | OA
Resch, Nicolas, Chen Yuan, and Yihan Zhang. “Zero-Rate Thresholds and New Capacity Bounds for List-Decoding and List-Recovery.” In 50th International Colloquium on Automata, Languages, and Programming, Vol. 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.99.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12922 | OA
Lepre, Enrico, Sylvain Rat, Cristian Cavedon, Peter H. Seeberger, Bartholomäus Pieber, Markus Antonietti, and Nieves López‐Salas. “Catalytic Properties of High Nitrogen Content Carbonaceous Materials.” Angewandte Chemie International Edition. Wiley, 2023. https://doi.org/10.1002/anie.202211663.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13450 | OA
O‘Grady, Anna J. G., Maria R. Drout, B. M. Gaensler, C. S. Kochanek, Kathryn F. Neugent, Carolyn L. Doherty, Joshua S. Speagle, et al. “Cool, Luminous, and Highly Variable Stars in the Magellanic Clouds. II. Spectroscopic and Environmental Analysis of Thorne–Żytkow Object and Super-AGB Star Candidates.” The Astrophysical Journal. American Astronomical Society, 2023. https://doi.org/10.3847/1538-4357/aca655.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13449 | OA
Geen S, Agrawal P, Crowther PA, Keller BW, de Koter A, Keszthelyi Z, van de Voort F, Ali AA, Backs F, Bonne L, Brugaletta V, Derkink A, Ekström S, Fichtner YA, Grassitelli L, Götberg YLL, Higgins ER, Laplace E, You Liow K, Lorenzo M, McLeod AF, Meynet G, Newsome M, André Oliva G, Ramachandran V, Rey MP, Rieder S, Romano-Díaz E, Sabhahit G, Sander AAC, Sarwar R, Stinshoff H, Stoop M, Szécsi D, Trebitsch M, Vink JS, Winch E. 2023. Bringing stellar evolution and feedback together: Summary of proposals from the Lorentz Center workshop. Publications of the Astronomical Society of the Pacific. 135(1044), 021001.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14104 | OA
Farmer, R, M Renzo, Ylva Louise Linsdotter Götberg, E Bellinger, S Justham, and S E de Mink. “Observational Predictions for Thorne–Żytkow Objects.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad1977.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13989 | OA
Hales, Jordyn, Utkarsh Bajpai, Tongtong Liu, Denitsa Rangelova Baykusheva, Mingda Li, Matteo Mitrano, and Yao Wang. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38540-3.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Journal Article | IST-REx-ID: 13990 | OA
Baykusheva, Denitsa Rangelova, Mona H. Kalthoff, Damian Hofmann, Martin Claassen, Dante M. Kennes, Michael A. Sentef, and Matteo Mitrano. “Witnessing Nonequilibrium Entanglement Dynamics in a Strongly Correlated Fermionic Chain.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.130.106902.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Journal Article | IST-REx-ID: 12697 | OA
Grosjean, Galien M, and Scott R Waitukaitis. “Single-Collision Statistics Reveal a Global Mechanism Driven by Sample History for Contact Electrification in Granular Media.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.130.098202.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14103 | OA
Vink JS, Mehner A, Crowther PA, Fullerton A, Garcia M, Martins F, Morrell N, Oskinova LM, St-Louis N, ud-Doula A, Sander AAC, Sana H, Bouret J-C, Kubátová B, Marchant P, Martins LP, Wofford A, van Loon JT, Grace Telford O, Götberg YLL, Bowman DM, Erba C, Kalari VM, Abdul-Masih M, Alkousa T, Backs F, Barbosa CL, Berlanas SR, Bernini-Peron M, Bestenlehner JM, Blomme R, Bodensteiner J, Brands SA, Evans CJ, David-Uraz A, Driessen FA, Dsilva K, Geen S, Gómez-González VMA, Grassitelli L, Hamann W-R, Hawcroft C, Herrero A, Higgins ER, John Hillier D, Ignace R, Istrate AG, Kaper L, Kee ND, Kehrig C, Keszthelyi Z, Klencki J, de Koter A, Kuiper R, Laplace E, Larkin CJK, Lefever RR, Leitherer C, Lennon DJ, Mahy L, Maíz Apellániz J, Maravelias G, Marcolino W, McLeod AF, de Mink SE, Najarro F, Oey MS, Parsons TN, Pauli D, Pedersen MG, Prinja RK, Ramachandran V, Ramírez-Tannus MC, Sabhahit GN, Schootemeijer A, Reyero Serantes S, Shenar T, Stringfellow GS, Sudnik N, Tramper F, Wang L. 2023. X-shooting ULLYSES: Massive stars at low metallicity. I. Project description. Astronomy & Astrophysics. 675, A154.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 13175 | OA
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12900
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14242 | OA
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i12.26747.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14243 | OA
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023. https://doi.org/10.1609/aaai.v37i5.25679.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14241 | OA
Tojo, Kenji, Ariel Shamir, Bernd Bickel, and Nobuyuki Umetani. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” In SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery, 2023. https://doi.org/10.1145/3588432.3591542.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12562
Ladle, David R., and Simon Hippenmeyer. “Loss of ETV1/ER81 in Motor Neurons Leads to Reduced Monosynaptic Inputs from Proprioceptive Sensory Neurons.” Journal of Neurophysiology. American Physiological Society, 2023. https://doi.org/10.1152/jn.00172.2022.
View | DOI | WoS | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12205 | OA
Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12459-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12115 | OA
Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “ASO Visual Abstract: Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome, and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer (HGSOC). A Multicenter, Retrospective Study of the Ovarian Cancer Therapy—Innovative Models Prolong Survival (OCTIPS) Consortium.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12681-z.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 14253 | OA
Vierra, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40930-6.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_20.
[Published Version] View | Files available | DOI
 

Search

Filter Publications