Abstract: The use of binary decision diagrams (BDDs) has proliferated in numerous fields. When a system criterion is formulated in form of a Boolean function, its BDD is constructed. Each node in the ...
A Kotlin Multiplatform library that provides Behavior Driven Development (BDD) extensions for Kotest. Write expressive tests using Given/When/Then or Expect syntax across JVM, iOS, macOS, Linux, and ...
Abstract: This paper investigates the problem of adaptive safety control for a class of nonlinearly parameterized systems. A novel adaptive safety control strategy for the problem studied is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results