Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...
Thomas, Kyle A., Julian De Freitas, Peter DiScioli, and Steven Pinker. "Recursive Mentalizing and Common Knowledge in the Bystander Effect." Journal of Experimental Psychology: General 145, no. 5 ...
Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...
In a letter dated December 9, and made public on December 10 according to Reuters, dozens of state and territorial attorneys general from all over the U.S. warned Big Tech that it needs to do a better ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback