Oxygen, pH, Lactate, and Metabolism—How Old Knowledge and New Insights Might Be Combined for New Wound Treatment
Haller, Herbert Leopold, Sander, Frank, Popp, Daniel, Rapp, Matthias, Hartmann, Bernd, Demircan, Mehmet, Nischwitz, Sebastian Philipp, Kamolz, Lars Peter
Published in Medicina (Kaunas, Lithuania) (01.11.2021)
Published in Medicina (Kaunas, Lithuania) (01.11.2021)
Get full text
Journal Article
Deciding floating-point logic with abstract conflict driven clause learning
Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel
Published in Formal methods in system design (01.10.2014)
Published in Formal methods in system design (01.10.2014)
Get full text
Journal Article
인공 지능을 위한 효율적인 게임플레이 트레이닝
SAKAZAKI HINAKO, MILES STEWART, MORALDO HORACIO HERNAN, MARTZ NATHAN SUN, HALLER LEOPOLD
Year of Publication 25.04.2023
Get full text
Year of Publication 25.04.2023
Patent
Software Verification Using k-Induction
Donaldson, Alastair F., Haller, Leopold, Kroening, Daniel, Rümmer, Philipp
Published in Static Analysis (2011)
Published in Static Analysis (2011)
Get full text
Book Chapter
Conference Proceeding
Strengthening induction-based race checking with lightweight static analysis
Donaldson, Alastair F., Haller, Leopold, Kroening, Daniel
Published in Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation (23.01.2011)
Published in Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation (23.01.2011)
Get full text
Conference Proceeding
EFFICIENT GAMEPLAY TRAINING FOR ARTIFICIAL INTELLIGENCE
Martz, Nathan Sun, Moraldo, Horacio Hernan, Miles, Stewart, Haller, Leopold, Sakazaki, Hinako
Year of Publication 20.06.2024
Get full text
Year of Publication 20.06.2024
Patent
Lifting CDCL to Template-based Abstract Domains for Program Verification
Mukherjee, Rajdeep, Schrammel, Peter, Haller, Leopold, Kroening, Daniel, Melham, Tom
Published in arXiv.org (07.07.2017)
Published in arXiv.org (07.07.2017)
Get full text
Paper
Journal Article
EFFICIENT GAMEPLAY TRAINING FOR ARTIFICIAL INTELLIGENCE
MARTZ, Nathan Sun, MILES, Stewart, MORALDO, Horacio Hernan, HALLER, Leopold, SAKAZAKI, Hinako
Year of Publication 23.03.2023
Get full text
Year of Publication 23.03.2023
Patent
Deciding floating-point logic with systematic abstraction
Haller, L., Griggio, A., Brain, M., Kroening, D.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Efficient gameplay training for artificial intelligence
SAKAZAKI HIWAKO, MYERS STUART, MATZ NATHAN SUN, MORADO HORACIO HERNAN, HALLER LEOPOLD
Year of Publication 23.06.2023
Get full text
Year of Publication 23.06.2023
Patent